From 34c066e3da712d0e8ff452a3e773a93be22266f1 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Fri, 24 Jul 2020 12:55:00 +0300
Subject: [PATCH] Mention redo in INSTALL

---
 install.texi | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/install.texi b/install.texi
index acce964..3c46c5a 100644
--- a/install.texi
+++ b/install.texi
@@ -11,7 +11,17 @@ $ [fetch|wget] http://www.gocheese.cypherpunks.ru/gocheese-@value{VERSION}.tar.x
 $ [fetch|wget] http://www.gocheese.cypherpunks.ru/gocheese-@value{VERSION}.tar.xz.sig
 $ gpg --verify gocheese-@value{VERSION}.tar.xz.sig gocheese-@value{VERSION}.tar.xz
 $ xz -d < gocheese-@value{VERSION}.tar.xz | tar xf -
-$ make -C gocheese-@value{VERSION} all test
+$ cd gocheese-@value{VERSION}
+$ redo all test
+@end example
+
+It uses @url{http://cr.yp.to/redo.html, redo} build system for that
+examples. You can use either dozen of various implementations, or at
+least minimalistic POSIX shell @code{apenwarr/do}:
+
+@example
+$ [fetch|wget] https://github.com/apenwarr/redo/raw/master/minimal/do
+$ mv do redo ; chmod +x redo
 @end example
 
 @include download.texi
-- 
2.44.0