Searched refs:write_tag_table (Results 1 – 4 of 4) sorted by relevance
124 extern void write_tag_table (char *filename);
117 write_tag_table (char *filename) in write_tag_table() function
1763 write_tag_table (real_output_filename); in convert_from_loaded_file()
853 write_tag_table if the output filename is "-".2392 * makeinfo/node.c (write_tag_table): accept a filename argument, and