2176   html.put_string("<hr>");  in emit_line()
2450       html.nl().nl().put_string("<a name=\"");  in write_header()
2456 	html.put_string(buffer.contents());  in write_header()
2458 	html.put_string(header.header_buffer);  in write_header()
2460       html.put_string("\"></a>").nl();  in write_header()
2469 	html.put_string("<b><font size=\"+1\">");  in write_header()
2470 	html.put_string(header.header_buffer);  in write_header()
2471 	html.put_string("</font></b>").nl();  in write_header()
2474 	html.put_string("<b>");  in write_header()
2475 	html.put_string(header.header_buffer);  in write_header()
2476 	html.put_string("</b>").nl();  in write_header()
2481       html.put_string("<h");  in write_header()
2483       html.put_string(">");  in write_header()
2484       html.put_string(header.header_buffer);  in write_header()
2485       html.put_string("</h");  in write_header()
2487       html.put_string(">").nl();  in write_header()
4039   html.put_string(g->text_string+9);  in do_end_para()
4463       html.put_string("<title>");  in write_title()
4464       html.put_string(title.text);  in write_title()
4465       html.put_string("</title>").nl().nl();  in write_title()
4469 	html.put_string("<h1 align=center>");  in write_title()
4470 	html.put_string(title.text);  in write_title()
4471 	html.put_string("</h1>").nl().nl();  in write_title()
4476     html.put_string("<title></title>").nl();  in write_title()
4494   html.begin_comment("Page: ").put_string(i_to_a(page_number)).end_comment();;  in begin_page()
4679     .put_string("groff ")  in ~html_printer()
4680     .put_string("version ")  in ~html_printer()
4681     .put_string(Version_string)  in ~html_printer()
4686     .put_string(ctime(&t), strlen(ctime(&t))-1)  in ~html_printer()
4701 …html.begin_comment("Total number of pages: ").put_string(i_to_a(no_of_printed_pages)).end_comment(…  in ~html_printer()