gen_name_number   109 htags/common.h const char *gen_name_number(int);
gen_name_number   565 htags/src2html.c  * This function flush and clear it.
gen_name_number   744 htags/src2html.c 	fputs_nl(header_end, out);