From: Sergey Matveev <stargrave@stargrave.org>
Date: Mon, 14 Nov 2022 16:00:21 +0000 (+0300)
Subject: Missing redo-cleanup's note
X-Git-Tag: v1.29.0~4
X-Git-Url: http://www.git.cypherpunks.ru/?p=goredo.git;a=commitdiff_plain;h=19b13ea1334d377dd9c6a36ea70c9141b8fd447d

Missing redo-cleanup's note
---

diff --git a/doc/cmds.texi b/doc/cmds.texi
index b3e19d7..8beb84c 100644
--- a/doc/cmds.texi
+++ b/doc/cmds.texi
@@ -109,7 +109,8 @@ And there are some maintenance and debug commands:
 @pindex redo-cleanup
 @item redo-cleanup
     Removes either temporary (@option{tmp}), log files (@option{log}),
-    or everything related to @command{goredo} (@option{full}).
+    lock files (@option{lock}), or everything related to @command{goredo}
+    (@option{full}).
 
 @pindex redo-whichdo
 @item redo-whichdo