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