I believe that the bug was a badly initialized while loop in
`Info-extract-menu-node-name'.
I would like to commit the following patch, which takes care of these
problems. Is this OK?
If nobody reports problems with it in 2 days, please install it.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
