Re: --html --no-split --no-headers creates spurious </ul>

[Karl Berry]

    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 ();