[tex-live] documentation

[Karl Berry]

    $ 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.)