On Tue, 1 May 2001, W. L. Estes wrote:

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

Sure; but I don't see any problems with that.

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

Reply via email to