From 73e4cd4d419d06a8c0fa952522dc28b5b4fb2770 Mon Sep 17 00:00:00 2001 From: Bert van der Weerd Date: Sat, 20 Nov 2021 07:08:59 +0000 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e8053f1..d46b658 100644 --- a/README.md +++ b/README.md @@ -40,7 +40,7 @@ make check ``` If there is a new version, it's a good time to git commit and trigger a CI build job. ``` -git commit -am 'v94.0.1' && git push +git commit -am v$(cat version) && git push ``` To build the source archive: ```