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 warned = 0;