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