Searched refs:set_current_output_filename (Results 1 – 4 of 4) sorted by relevance
113 extern void set_current_output_filename (const char *fname);
478 set_current_output_filename (const char *fname) in set_current_output_filename() function968 set_current_output_filename (filename); in cm_node()
1637 set_current_output_filename (real_output_filename); in convert_from_loaded_file()
4099 * makeinfo/node.c (set_current_output_filename): New function,