    definition_header  241 htags/htags.c  int definition_header=NO_HEADER;	/* (NO|BEFORE|RIGHT|AFTER)_HEADER */
    definition_header 1127 htags/htags.c  			definition_header = NO_HEADER;
    definition_header 1129 htags/htags.c  			definition_header = BEFORE_HEADER;
    definition_header 1131 htags/htags.c  			definition_header = RIGHT_HEADER;
    definition_header 1133 htags/htags.c  			definition_header = AFTER_HEADER;
    definition_header 1516 htags/htags.c  			definition_header = AFTER_HEADER;
    definition_header 1519 htags/htags.c  					definition_header = BEFORE_HEADER;
    definition_header 1521 htags/htags.c  					definition_header = RIGHT_HEADER;
    definition_header 1523 htags/htags.c  					definition_header = AFTER_HEADER;
    definition_header 1601 htags/htags.c  		definition_header = AFTER_HEADER;
    definition_header  143 htags/htags.h  extern int definition_header;
    definition_header  265 htags/src2html.c 	if (definition_header == RIGHT_HEADER)
    definition_header  542 htags/src2html.c         if (definition_header != NO_HEADER) {
    definition_header  548 htags/src2html.c         if (guide && definition_header == BEFORE_HEADER) {
    definition_header  580 htags/src2html.c 		if (definition_header == RIGHT_HEADER)
    definition_header  583 htags/src2html.c 		if (definition_header == AFTER_HEADER) {