608   insert_string ("<?xml version=\"1.0\"");  in xml_begin_document()
624   insert_string ("?>\n");  in xml_begin_document()
628 …insert_string ("<!DOCTYPE book PUBLIC \"-//OASIS//DTD DocBook XML V4.2//EN\" \"http://www.oasis-op…  in xml_begin_document()
633       insert_string ("<!DOCTYPE texinfo PUBLIC \"-//GNU//DTD TexinfoML V");  in xml_begin_document()
634       insert_string (VERSION);  in xml_begin_document()
635       insert_string ("//EN\" \"http://www.gnu.org/software/texinfo/dtd/");  in xml_begin_document()
636       insert_string (VERSION);  in xml_begin_document()
637       insert_string ("/texinfo.dtd\">");  in xml_begin_document()
650       insert_string (output_filename);  in xml_begin_document()
721   insert_string ("<para");  in xml_start_para()
723     insert_string (" role=\"continues\"");  in xml_start_para()
724   insert_string (">");  in xml_start_para()
738   insert_string ("</para>");  in xml_end_para()
762   insert_string ("<!-- Keep this comment at the end of the file\n\  in xml_end_document()
935   insert_string (xml_element_list[elt].name);
953       insert_string (temp_string);
959       insert_string (" id=\"");
960       insert_string (xml_node_id);
971             insert_string (" xml:space=\"preserve\"");
1013   insert_string (entity_name);  in xml_insert_entity()
1251       insert_string ("&amp;");  in xml_add_char()
1253       insert_string ("&lt;");  in xml_add_char()
1275   insert_string ("<para>");  in xml_insert_footnote()
1277   insert_string ("</para>");  in xml_insert_footnote()
1847           insert_string (xml_index_titles->title);  in xml_begin_index()