insert_footer     286 htags/common.c 		ip = fopen(insert_footer, "r");
insert_footer     288 htags/common.c 			die("cannot open include footer file '%s'.", insert_footer);
insert_footer     139 htags/htags.c  const char *insert_footer;		/* --insert-footer=<file>	*/
insert_footer     723 htags/htags.c  		if (insert_footer)
insert_footer     750 htags/htags.c  	if (insert_footer)
insert_footer    1477 htags/htags.c  			insert_footer = optarg;
insert_footer    1615 htags/htags.c  	if (insert_footer && !test("fr", insert_footer))
insert_footer    1616 htags/htags.c  		die("page footer file '%s' not found.", insert_footer);
insert_footer     107 htags/htags.h  extern const char *insert_footer;
insert_footer     872 htags/src2html.c 	if (insert_footer) {