Re: makeinfo --xml output not well-formed

[Karl Berry]

I made the following patch to makeinfo, which apparently fixed the
detailmenu problem in the case you reported and the others I could
find.  If you run across more, please let me know.

Thanks,
Karl

--- xml.c.~1.67.~       2007-06-05 16:03:02.000000000 -0700
+++ xml.c       2007-06-13 11:52:20.000000000 -0700
@@ -919,4 +919,18 @@
     xml_end_para ();
 
+  /* Oddly, we want to do the same thing whether we starting or ending
+     the detailmenu -- close any existing menu elements before inserting
+     the detailmenu element.  */
+  if (elt == DETAILMENU && xml_in_menu_entry)
+    {
+      if (xml_in_menu_entry_comment)
+        {
+          xml_insert_element (MENUCOMMENT, END);
+          xml_in_menu_entry_comment=0;
+        }
+      xml_insert_element (MENUENTRY, END);
+      xml_in_menu_entry=0;
+    }
+    
   if (docbook && xml_table_level && !in_table_title
       && !xml_in_tableitem[xml_table_level] && !xml_in_item[xml_table_level]