define_term_end    83 htags/common.c const char *define_term_end	= "</dt>";
define_term_end    78 htags/common.h extern const char *define_term_end;
define_term_end   686 htags/htags.c  		fputs(define_term_end, op);
define_term_end   694 htags/htags.c  		fputs(define_term_end, op);