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);