define_desc_end    83 htags/common.c const char *define_desc_end	= "";
define_desc_end   175 htags/common.c 	define_desc_end		= "</dd>";
define_desc_end    67 htags/common.h extern const char *define_desc_end;
define_desc_end   594 htags/htags.c  		fputs_nl(define_desc_end, op);
define_desc_end   602 htags/htags.c  		fputs_nl(define_desc_end, op);