From cffa86125d1a655163405bfe0b1bbde354d2f4cf Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Wed, 12 Apr 2023 18:35:05 +0900
Subject: [PATCH] changes.awk seems to be for GNU awk

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

diff --git a/README.md b/README.md
index 2317a59..0ab4361 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@ Experimental toolbox to manage PR in mathcomp
 
 ## Changelog generator
 
-Clone this repo (here we assume `TOOLS=<the path to your repo>`, make sure `sqlite3`, `sed` and `awk` are availabe on your system, and from the repository run e.g.
+Clone this repo (here we assume `TOOLS=<the path to your repo>`, make sure `sqlite3`, `sed` and GNU `awk` are availabe on your system, and from the repository run e.g.
 ```bash
 $TOOLS/changelog/changes.sh -s upstream/master *
 ```