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 			quote_space, position_begin, lineno, curpfile, position_end);
position_end      730 htags/src2html.c 		fprintf(out, "%s%s[+1 %s]%s", quote_space, position_begin, src, position_end);
position_end      869 htags/src2html.c 		fprintf(out, "%s%s[+%d %s]%s", quote_space, position_begin, last_lineno, src, position_end);