On Sun, Nov 24, 2002 at 05:13:05PM -0500, Karl Berry wrote: > What version of texinfo are you using? I think this is fixed in 4.3, > which I released a few days ago. (It doesn't happen with my current > source...)
info --version gives the following (on Debian GNU/Linux): info (GNU texinfo) 4.1 Thanks, Ludovic. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
