insert_header     282 htags/common.c 		ip = fopen(insert_header, "r");
insert_header     284 htags/common.c 			die("cannot open include header file '%s'.", insert_header);
insert_header     151 htags/htags.c  const char *insert_header;		/**< @OPTION{--insert-header=\<file\>}	*/
insert_header     809 htags/htags.c  		if (insert_header)
insert_header     836 htags/htags.c  	if (insert_header)
insert_header    1616 htags/htags.c  			insert_header = optarg;
insert_header    1779 htags/htags.c  	if (insert_header && !test("fr", insert_header))
insert_header    1780 htags/htags.c  		die("page header file '%s' not found.", insert_header);
insert_header     120 htags/htags.h  extern const char *insert_header;
insert_header     839 htags/src2html.c 	if (insert_header)