Searched refs:html_title_written (Results 1 – 4 of 4) sorted by relevance
192 int html_title_written = 0; variable332 if (title && !html_title_written && titlepage_cmd_present) in html_output_head()335 html_title_written = 1; in html_output_head()
37 extern int html_title_written;
1234 html_title_written = 1; /* suppress title from @settitle */ in cm_titlefont()
1273 * makeinfo/html.c (html_title_written),1274 * makeinfo/html.h (html_title_written): make available.1275 * makeinfo/cmds.c (cm_titlefont): set html_title_written for html