REDO_STOP_IF_MODIFIED

[goredo.git] / doc / news.texi

diff --git a/doc/news.texi b/doc/news.texi
index 69ba830e1b7c92736f3c87ed6dda3b51cc58bfe2..1dbdb859919482e084537ec75fcab612dae425d3 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -13,6 +13,10 @@
     corresponding targets has the same content but different
     @code{ctime}/@code{mtime} values and rewrites dependencies with that
     updated inode information.
+@item
+    With @env{$REDO_STOP_IF_MODIFIED=1} environment variable redo will
+    stop and fail if it meet externally modified file. By default user
+    is only warned about it, but building continues for convenience.
 @end itemize
 
 @anchor{Release 1_21_0}