    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)