define_term_begin 80 htags/common.c const char *define_term_begin = "<dt>"; define_term_begin 172 htags/common.c define_term_begin = "<dt>"; define_term_begin 64 htags/common.h extern const char *define_term_begin; define_term_begin 585 htags/htags.c fputs(define_term_begin, op); define_term_begin 597 htags/htags.c fputs(define_term_begin, op);