[tex-live] manual for emp package
wl at gnu.org
Sun Nov 14 13:45:35 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
> I dont think its our job to rename files, is it? the package author
> should do this.
You are right, sorry -- I thought that the PS version has been
produced by texlive. I've CCed the original author. Thorsten, what
do you think?
More information about the tex-live