print_directory_header 305 htags/fileindex.c static void print_directory_header(FILE *, int, const char *); print_directory_header 351 htags/fileindex.c print_directory_header(op, level, basedir);