print_directory_footer  322 htags/fileindex.c static void print_directory_footer(FILE *, int, const char *);
print_directory_footer  467 htags/fileindex.c 		print_directory_footer(op, level, basedir);