[tex-live] manual for emp package

Werner LEMBERG 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
> >result.
> >  
> >
> 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 mailing list