From 19b13ea1334d377dd9c6a36ea70c9141b8fd447d Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Mon, 14 Nov 2022 19:00:21 +0300
Subject: [PATCH] Missing redo-cleanup's note

---
 doc/cmds.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.44.0