doc/cmds.texi | 3 ++-

diff --git a/doc/cmds.texi b/doc/cmds.texi
index 709d88c6f3d0c8b92d267f346fc1c4c792ae142a1b942a814660ee030fd1c827..79bae4bac9b0fb2031b82f47fac022a23bede4480ee37b2739edf75876fc9f2f 100644
--- a/doc/cmds.texi
+++ b/doc/cmds.texi
@@ -109,7 +109,8 @@ @table @command
 @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