Follow-up Comment #3, bug #15513 (project texinfo): This should be fixed in texi2html.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?15513>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
