> How about adding this information to what --help prints?  That would 
> avoid yet another command-line option.

Except that then to access the INFOPATH information, one would have to
edit out all the other --help information.

--Will

_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo

Reply via email to