Thanks, ------------------------------------------------------------------------
Ehud Kaplan
That sounds very promising. What is the name of the TexLive package
manager, and how do I run it?
- TexLive package manager E. Kaplan
- Re: TexLive package manager Jürgen Spitzmüller
