define_term_begin   82 htags/common.c const char *define_term_begin	= "<dt>";
define_term_begin   77 htags/common.h extern const char *define_term_begin;
define_term_begin  680 htags/htags.c  		fputs(define_term_begin, op);
define_term_begin  692 htags/htags.c  		fputs(define_term_begin, op);