Karl, I believe this one ignores everything to the end of the line, as you
Thanks. I installed your version. _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
