AFTER_HEADER     1133 htags/htags.c  			definition_header = AFTER_HEADER;
AFTER_HEADER     1516 htags/htags.c  			definition_header = AFTER_HEADER;
AFTER_HEADER     1523 htags/htags.c  					definition_header = AFTER_HEADER;
AFTER_HEADER     1601 htags/htags.c  		definition_header = AFTER_HEADER;
AFTER_HEADER      583 htags/src2html.c 		fputc('\n', out);