    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) {