From 4b8bfe9cc90778192b77d5d3eaa8a67a89e486df Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Thu, 3 Sep 2020 10:10:49 +0300
Subject: [PATCH] Remark about direct contrib/do invocation

---
 install.texi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/install.texi b/install.texi
index 5769e87..75c0f99 100644
--- a/install.texi
+++ b/install.texi
@@ -19,7 +19,9 @@ f72018189a5cfb803dbe1f2149cf554c40093d8e7f81c21e08ac5bcd09d9934d
 
 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 @command{contrib/do} included in tarball.
+least minimalistic POSIX shell @command{contrib/do} (just replace
+@command{redo} with @command{contrib/do} in the example above) included
+in tarball.
 
 @include download.texi
 
-- 
2.44.0