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