ungetpath          45 htags/fileindex.c static void ungetpath(void);
ungetpath         389 htags/fileindex.c 			ungetpath();	/* read again by upper level print_directory(). */
ungetpath         424 htags/fileindex.c 				ungetpath();	/* read again by lower level print_directory(). */