Searched defs:print_html_title (Results 1 – 2 of 2) sorted by relevance
2344 print_html_title (FILE *out_file, char *title) in print_html_title() function