Searched refs:html_title (Results 1 – 4 of 4) sorted by relevance
197 static const char *html_title = NULL; in html_output_head() local207 if (!html_title) in html_output_head()208 html_title = escape_string (title ? in html_output_head()221 escape_string (xstrdup (current_node)), html_title); in html_output_head()223 add_word_args ("<title>%s</title>\n", html_title); in html_output_head()232 document_description = html_title; in html_output_head()334 add_word_args ("<h1 class=\"settitle\">%s</h1>\n", html_title); in html_output_head()
75 if args.html_title is None:76 args.html_title = os.path.basename(prefix) + ' - analyzer results'88 | </head>""", indent).format(html_title=args.html_title))99 | </table>""", indent).format(html_title=args.html_title,
133 html_title = 'libuv documentation' variable
2186 * makeinfo/html.c (html_output_head): Make html_title static.3018 * makeinfo/html.c (html_output_head): `free' html_title if