27 Oct
2005
27 Oct
'05
12:57 a.m.
$ 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.)