summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--NEWS4
1 files changed, 4 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 6905bd0..345ee93 100644
--- a/NEWS
+++ b/NEWS
@@ -12,6 +12,10 @@ flex NEWS
** scanner
+*** New option: --backup-file allows setting the name of the file
+ written containing backing up information. Useful if you need
+ backing up information multiple scanners in the same directory.
+
*** flex emits correct line number directives when line numbers refer
to the file containing the line number directives.