diff -r a82910dd2270 -r 500c6eb6c6dc NEWS
--- a/NEWS	Sat Jul 28 20:12:47 2012 +0200
+++ b/NEWS	Sat Jul 28 20:18:15 2012 +0200
@@ -73,6 +73,11 @@
 build" tool and its examples.  Eventual INCOMPATIBILITY, as isabelle
 usedir / make / makeall are rendered obsolete.
 
+* Discontinued obsolete Isabelle/build script, it is superseded by the
+regular isabelle build tool.  For example:
+
+  isabelle build -s -b HOLCF
+
 * Discontinued support for Poly/ML 5.2.1, which was the last version
 without exception positions and advanced ML compiler/toplevel
 configuration.