[tex-live] manual for emp package

[Werner LEMBERG]

> >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?


    Werner