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

  /src/external/gpl2/texinfo/dist/makeinfo/
xml.h 54 TEXINFO=0, SETFILENAME, TITLEFONT, SETTITLE, DOCUMENTDESCRIPTION,
xml.c 48 { "setfilename", 0, 0, 0 },
261 { "", 0, 0, 0 }, /* SETFILENAME */
650 xml_insert_element (SETFILENAME, START);
652 xml_insert_element (SETFILENAME, END);

Completed in 32 milliseconds