[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makeinfo --xml output not well-formed
From: |
Karl Berry |
Subject: |
Re: makeinfo --xml output not well-formed |
Date: |
Wed, 13 Jun 2007 13:56:41 -0500 |
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]