karl at freefriends.org
Thu Oct 27 00:57:27 CEST 2005
$ locate manual.pdf | wc -l
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 tex-live