1 files changed, 2 insertions, 3 deletions
diff --git a/configure b/configure
index 39d0e7d..cb22ca0 100755
--- a/configure
+++ b/configure
@@ -4,9 +4,8 @@ VERSION=$( cat .version )
 DATE=$( date +%Y%m%d )
 
 # All absolutely required tools, one per line to ease diff.
-# See function 'has_or_abort, below, for syntax
+# See function 'has_or_abort', below, for syntax
 #  - Hopefully, if gcc is present, then all associated tools will be
-#  - awk must be GNU awk
 #  - makeinfo for building docs, even if discarded later on
 #  - others obvious... :-/
 #
@@ -44,7 +43,7 @@ xargs
 install:install=GNU coreutils
 make:make=^GNU Make
 gcc
-awk:awk=^GNU Awk || gawk=^GNU Awk
+awk
 bison
 flex
 makeinfo