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