[NTG-pdftex] Re: [tex-live] documentation

Karl Berry karl at freefriends.org
Thu Oct 27 00:57:27 CEST 2005


    $ locate manual.pdf | wc -l
        164

Yeah.  I don't know what can be done about the plethora of manual.pdf's
except encourage authors to use a better name.

    Is it possible to solve it before TL is released?

Well, if you can make a patch for the texdoc .dat file,
I can install it :).

(Personally I am not sure that so many people use texdoc that it is
worth a superhuman effort, but there's certainly no harm in making it as
good as we can.)


More information about the ntg-pdftex mailing list