insert_header 269 htags/common.c ip = fopen(insert_header, "r"); insert_header 271 htags/common.c die("cannot open include header file '%s'.", insert_header); insert_header 138 htags/htags.c const char *insert_header; /* --insert-header=<file> */ insert_header 720 htags/htags.c if (insert_header) insert_header 747 htags/htags.c if (insert_header) insert_header 1480 htags/htags.c insert_header = optarg; insert_header 1613 htags/htags.c if (insert_header && !test("fr", insert_header)) insert_header 1614 htags/htags.c die("page header file '%s' not found.", insert_header); insert_header 106 htags/htags.h extern const char *insert_header; insert_header 693 htags/src2html.c if (insert_header)