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 			 */