Searched refs:SETFILENAME (Results 1 – 2 of 2) sorted by relevance
52 TEXINFO=0, SETFILENAME, TITLEFONT, SETTITLE, DOCUMENTDESCRIPTION, enumerator
647 xml_insert_element (SETFILENAME, START); in xml_begin_document()649 xml_insert_element (SETFILENAME, END); in xml_begin_document()