gen_insert_header  103 htags/common.h const char *gen_insert_header(int);
gen_insert_header  721 htags/htags.c  			fputs(gen_insert_header(TOPDIR), op);
gen_insert_header  748 htags/htags.c  		fputs(gen_insert_header(TOPDIR), op);
gen_insert_header  694 htags/src2html.c 		fputs(gen_insert_header(SUBDIR), out);