#nawk script to extract header BibTeX sources $Revision 1.00$
#Ie lines whose first printing characters are %%
#
#WBL 7 Feb 1995
#
BEGIN { 
}

( substr($1,1,2) == "%%" ) {
	print $0;
	}

END  {
}