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