sharp_end          89 htags/common.c const char *sharp_end		= "</font>";
sharp_end         181 htags/common.c 	sharp_end		= "</em>";
sharp_end          75 htags/common.h extern const char *sharp_end;
sharp_end        1235 htags/htags.c  			sharp_end = q;
sharp_end         450 htags/src2html.c void