Searched refs:html_file (Results 1 – 4 of 4) sorted by relevance
35 di_var_bugs_summary, html_file): argument36 fileout = open(html_file, "w")327 print("The " + html_file + " generated.")376 if not opts.html_file.endswith('.html'):448 di_var_bugs_summary, opts.html_file)
131 toc_entry_alist[toc_counter]->html_file = filename; in toc_add_entry()247 splitting ? toc_entry_alist[i]->html_file : "", in contents_update_html()322 splitting ? toc_entry_alist[i]->html_file : "", name); in shortcontents_update_html()
31 char *html_file; /* Name of HTML node-file in split-HTML mode */ member
2249 * makeinfo/toc.h <TOC_ENTRY_ELT>: New member html_file.2251 * makeinfo/toc.c (toc_add_entry): Compute and set the html_file