Missing redo-cleanup's note

diff --git a/doc/cmds.texi b/doc/cmds.texi
index b3e19d7802d57d64366d91cb681551845c4b4cf6..8beb84cbebd7d14ac755614f8a7ab58b5fc6d2d9 100644 (file)
--- 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