Searched refs:saved_input_filename (Results 1 - 1 of 1) sorted by relevance

/freebsd-9.3-release/contrib/texinfo/makeinfo/
H A Dindex.c750 char *saved_input_filename = input_filename;
957 input_filename = saved_input_filename;
744 char *saved_input_filename = input_filename; local

Completed in 73 milliseconds