Searched defs:saved_filename (Results 1 – 2 of 2) sorted by relevance
414 const char *saved_filename = current_filename; in bibliography_command() local
991 const char *saved_filename = current_filename; in process_file() local