On my GNU linux system the command man is not case sensitive. That is not the case for me. `man cat' presents the man page for `cat'. `man CAT' says it can't find anything. `man -w -a CAT' finds nothing.
_______________________________________________ Emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
