[texdoc] Case insentivity

Manuel Pégourié-Gonnard mpg at elzevir.fr
Sun Feb 8 22:08:15 CET 2009


FYI,

I made texdoc case-insensitive (r20), for the following reasons:

- Same behaviour on all platforms, since windows is so wierd wrt case.
- Easier if you look, eg for documentation about XeTeX (some files names
use XeTeX, others xetex).

As usual, feel free to comment.

Manuel.


More information about the texdoc mailing list