Accept --report-file=FILE to override the default `.output' filename.

[bison.git] / NEWS

diff --git a/NEWS b/NEWS
index ad7903cc6e7d2e7ab9e076ea91c5bebe46ec8717..afc354211e027d4a1518a9a8fc11ae3e071fa14a 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -78,6 +78,8 @@ Changes in version 2.3a+ (????-??-??):
   bug affected only the `.output' file and not the generated parser source
   code.
 
+* --report-file=FILE is a new flag to override the default `.output' file name.
+
 * The `=' that used to be required in the following directives is now
   deprecated: