* Makefile.in (AWK): Default to awk, not gawk. User can override on make's command line if necessary. Still, only really useful for building kerbsrc.zip, etc. To generate a diff of this commit: cvs diff -r5.402 -r5.403 krb5/src/ChangeLog cvs diff -r1.136 -r1.137 krb5/src/Makefile.in