summaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
authorWill Estes <westes575@gmail.com>2017-07-03 09:46:48 -0400
committerWill Estes <westes575@gmail.com>2017-07-03 09:46:48 -0400
commit6bebb264a94bdbfcf150a24e706c183896207e7b (patch)
tree8a1930302274fa5de0bcc739bbd7e978ebfb5b37 /NEWS
parentc55bf919ccad3e0eff30da09c3d3e9f81cc123ad (diff)
doc: document --backup-file in NEWS
Diffstat (limited to 'NEWS')
-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.