NO_HEADER 241 htags/htags.c int definition_header=NO_HEADER; /* (NO|BEFORE|RIGHT|AFTER)_HEADER */ NO_HEADER 1127 htags/htags.c definition_header = NO_HEADER; NO_HEADER 542 htags/src2html.c if (definition_header != NO_HEADER) {