> Here is my proposal. It works for Bison.
Ping!
Sorry, my reply from a few days ago accidentally/erroneously went only
to the list and not to you. Here it is:
http://lists.gnu.org/archive/html/bug-texinfo/2012-10/msg00014.htmlIn short, the changes are installed, and let me know if problems. Thanks, k
