[tex-live] manual for emp package

Werner LEMBERG wl at gnu.org
Sat Nov 13 12:24:21 CET 2004


Is there any reason why doc/latex/emp/manual.ps.gz isn't actually
called empman.ps.gz (given that the DVI file is called empman.dvi)?
Saying `texdoc empman' would then immediately give the expected
result.


    Werner



More information about the tex-live mailing list