When converting to HTML with the option `--no-headers' spurious </ul>'s
are created.
Thanks for the report. Here is a patch.
*** insertion.c.~1.20.~ Tue Mar 18 16:50:39 2003
--- insertion.c Tue Apr 1 06:32:18 2003
***************
*** 864,870 ****
case menu:
in_menu--; /* No longer hacking menus. */
! if (html)
add_word ("</ul>\n");
else if (!no_headers)
close_insertion_paragraph ();
--- 864,870 ----
case menu:
in_menu--; /* No longer hacking menus. */
! if (html && !no_headers)
add_word ("</ul>\n");
else if (!no_headers)
close_insertion_paragraph ();
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
