HomeSort by: relevance | last modified time | path
    Searched refs:MENUCOMMENT (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl2/texinfo/dist/makeinfo/
xml.h 66 MENU, DETAILMENU, MENUENTRY, MENUTITLE, MENUCOMMENT, MENUNODE,
xml.c 89 { "menucomment", 0, 0, 0 },
302 { "", 1, 0, 0 }, /* MENUCOMMENT */
1113 xml_insert_element (MENUCOMMENT, END);
1146 xml_insert_element (MENUCOMMENT, START);
1157 xml_insert_element (MENUCOMMENT, END);
1237 xml_insert_element (MENUCOMMENT, END);

Completed in 15 milliseconds