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);