gen_name_string   453 htags/common.c 	return gen_name_string(buf);
gen_name_string   143 htags/common.h const char *gen_name_string(const char *);
gen_name_string   841 htags/src2html.c 	fputs(gen_name_string("TOP"), out);
gen_name_string  1010 htags/src2html.c 	fputs_nl(gen_name_string("BOTTOM"), out);