Re: BUG in info command

[Karl Berry]

    See below patch to fix the bug.

Thanks.


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