define_term_end    81 htags/common.c const char *define_term_end	= "";
define_term_end   173 htags/common.c 	define_term_end		= "</dt>";
define_term_end    65 htags/common.h extern const char *define_term_end;
define_term_end   591 htags/htags.c  		fputs(define_term_end, op);
define_term_end   599 htags/htags.c  		fputs(define_term_end, op);