Various documentation changes

[goredo.git] / doc / cmds.texi

diff --git a/doc/cmds.texi b/doc/cmds.texi
index 19cd5f09327bad6430b65089ee6c1056012311a5..1483b7f204569cb0c43cf6b70c424bf2fc90c87b 100644 (file)
--- a/doc/cmds.texi
+++ b/doc/cmds.texi
@@ -6,11 +6,12 @@
 @item redo-ifchange, redo-ifcreate, redo-always
 
 @item redo
-    Same as redo-ifchange, but forcefully and sequentially run specified
-    targets.
+    Same as @command{redo-ifchange}, but forcefully and sequentially run
+    specified targets.
 
 @item redo-log
-    Display TAI64N timestamped last @command{stderr} of the target.
+    Display @url{http://cr.yp.to/libtai/tai64.html, TAI64N} timestamped
+    last @command{stderr} of the target.
 
 @item redo-stamp
     Record stamp dependency. Nothing more, dummy. Read about