From 3292d26067f68a7df054e1553dda044eae645f0a Mon Sep 17 00:00:00 2001
From: Omar Polo <op@omarpolo.com>
Date: Fri, 26 Feb 2021 19:41:05 +0000
Subject: [PATCH] GNU AWK is no more a requirement

---
 README.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.org b/README.org
index 6559312..cdc6f26 100644
--- a/README.org
+++ b/README.org
@@ -41,7 +41,7 @@
 
    + to install  the package, including running the  script to install
      lisp libraries (~quick_quicklisp.sh~):
-     - GNU AWK (Gawk);
+     - AWK;
      - BASH shell.
 
    + to run the program: