[7431] parsetexi update

[gavinsmith0123]

Revision: 7431
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7431
Author:   gavin
Date:     2016-10-02 16:58:56 +0000 (Sun, 02 Oct 2016)
Log Message:
-----------
parsetexi update

Modified Paths:
--------------
    trunk/tp/parsetexi/handle_commands.c

Modified: trunk/tp/parsetexi/handle_commands.c
===================================================================
--- trunk/tp/parsetexi/handle_commands.c        2016-10-02 16:47:29 UTC (rev 
7430)
+++ trunk/tp/parsetexi/handle_commands.c        2016-10-02 16:58:56 UTC (rev 
7431)
@@ -957,10 +957,8 @@
           && (current->type == ET_menu_comment
               || current->type == ET_menu_entry_description))
         {
-#if 0
           /* This is for @detailmenu within @menu */
           ELEMENT *menu = current->parent;
-          //abort ();
           if (current->contents.number == 0)
             {
               destroy_element (pop_element_from_contents (menu));
@@ -969,8 +967,7 @@
             }
           if (menu->type == ET_menu_entry)
             menu = menu->parent;
-          current = last_contents_child (menu);
-#endif
+          current = menu;
         }
 
       // 4740