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.