definition_header  261 htags/htags.c  int definition_header=NO_HEADER;	/**< (NO|BEFORE|RIGHT|AFTER)_HEADER */
definition_header 1669 htags/htags.c  			definition_header = AFTER_HEADER;
definition_header 1672 htags/htags.c  					definition_header = BEFORE_HEADER;
definition_header 1674 htags/htags.c  					definition_header = RIGHT_HEADER;
definition_header 1676 htags/htags.c  					definition_header = AFTER_HEADER;
definition_header 1754 htags/htags.c  		definition_header = AFTER_HEADER;
definition_header  159 htags/htags.h  extern int definition_header;
definition_header  355 htags/src2html.c 	if (definition_header == RIGHT_HEADER)
definition_header  685 htags/src2html.c         if (definition_header != NO_HEADER) {
definition_header  691 htags/src2html.c         if (guide && definition_header == BEFORE_HEADER) {
definition_header  724 htags/src2html.c 		if (definition_header == RIGHT_HEADER)
definition_header  727 htags/src2html.c 		if (definition_header == AFTER_HEADER) {