# This is used to automatically adjust and print counter values 
# in  a TeX file.
#Mon Feb 24 08:00:57 EST 1997
#a=kaaNDa b=varga c=line
BEGIN{a=0;b=0;c=0;}
/^\\stepA/{a+=1;}
/^\\resetA/{a=0;}
/^\\stepB/{b+=1;}
/^\\resetB/{b=0;}
/^\\resetSC/{c=0;}
/^\\EN/{c+=1;printf("(%s\\.%s\\.%s)%s\n", a,b,c,$0);}
!/^\\EN/{print $0};
END{
}
#awk -f $file FILE