gen_insert_header  135 htags/common.h const char *gen_insert_header(int);
gen_insert_header  810 htags/htags.c  			fputs(gen_insert_header(TOPDIR), op);
gen_insert_header  837 htags/htags.c  		fputs(gen_insert_header(TOPDIR), op);
gen_insert_header  840 htags/src2html.c 		fputs(gen_insert_header(SUBDIR), out);