NEWS: Document the changes of the configure command line options

diff --git a/NEWS b/NEWS
index b6d04670bdd3ea6ea2d9c8c088020d890b2ec71a..a5bd70705a4ef3a64f9e67e5c541ab62d42ab268 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -5,9 +5,11 @@ NEWS
 0.2.14 (to be announced) "transient singularity"
 ------------------------------------------------
 
 0.2.14 (to be announced) "transient singularity"
 ------------------------------------------------
 

-       - new output plugin for MacOs: the osx writer
-       - configure: new command line options: --enable-mad-headers
-         and --enable-mad-libs
+       - new output plugin for Mac Os: the osx writer
+       - rename configure command line options from --enable-xxx-headers to
+         --with-xxx-headers and  --enable-xxx-libs by --with-xxx-libs
+       - configure: new command line options: --with-mad-headers
+         and --with-mad-libs

        - some small robustness fixes
 
 ---------------------------------------
        - some small robustness fixes
 
 ---------------------------------------