diff options
author | Will Estes <westes575@gmail.com> | 2017-07-03 09:46:48 -0400 |
---|---|---|
committer | Will Estes <westes575@gmail.com> | 2017-07-03 09:46:48 -0400 |
commit | 6bebb264a94bdbfcf150a24e706c183896207e7b (patch) | |
tree | 8a1930302274fa5de0bcc739bbd7e978ebfb5b37 /NEWS | |
parent | c55bf919ccad3e0eff30da09c3d3e9f81cc123ad (diff) |
doc: document --backup-file in NEWS
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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. |