redo-sources, redo-targets, redo-ood

[goredo.git] / doc / news.texi

diff --git a/doc/news.texi b/doc/news.texi
index 0979623eca341c85625e192ba84198e92c95f0f5..cbcd68dddab30f0254518911d5e44de1fd46bbcc 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -4,6 +4,9 @@
 @anchor{Release 1.3.0}
 @section Release 1.3.0
 @itemize
+@item
+    Experimental @command{redo-sources}, @command{redo-targets} and
+    @command{redo-ood} commands.
 @item
     Repetitive OOD determination optimization: pass all already known to
     be OOD targets to redoing targets.