On 12/27/11 01:07, Stefano Lattarini wrote: > I don't know how to fix those, and I was hoping to see how > you would solve your similar issues, so that I could copy your solution ;-)
It turns out that the Texinfo manual itself has the same problem. So we can see what *it* does to fix this. I asked about it at bug-texinfo, at the thread starting here: http://lists.gnu.org/archive/html/bug-texinfo/2011-12/msg00020.html
