Searched refs:clean_old_split_files (Results 1 – 4 of 4) sorted by relevance
129 extern void clean_old_split_files (char *filename);
1706 clean_old_split_files (char *filename) in clean_old_split_files() function
1768 clean_old_split_files (real_output_filename); in convert_from_loaded_file()
2600 * makeinfo/node.c (clean_old_split_files): new function.2605 clean_old_split_files before calling split_file.