-      add_word ("<hr></div>");
    +      add_html_block_elt ("<hr></div>");

Interesting.  Thanks Ralf, I applied the patch.


_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo

Reply via email to