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