    position_end       97 htags/common.c const char *position_end	= "</font>";
    position_end      189 htags/common.c 	position_end		= "</em>";
    position_end       81 htags/common.h extern const char *position_end;
    position_end     1271 htags/htags.c  			position_end = q;
    position_end      276 htags/src2html.c 			strbuf_putc(sb, ' ');
    position_end      730 htags/src2html.c 			encode(sb, src);
    position_end      869 htags/src2html.c 			 */