NEWS

--- a/NEWS	Fri Aug 03 09:51:28 2012 +0200
+++ b/NEWS	Fri Aug 03 12:37:31 2012 +0200
@@ -69,6 +69,9 @@
 document/root_NAME.tex if that file exists, instead of the common
 document/root.tex.
 
+* Simplified custom document/build script, instead of old-style
+document/IsaMakefile.  Minor INCOMPATIBILITY.
+
 
 *** System ***