diff options
Diffstat (limited to 'doc/flex.info-7')
| -rw-r--r-- | doc/flex.info-7 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/flex.info-7 b/doc/flex.info-7 index ef030b8..8ccc35c 100644 --- a/doc/flex.info-7 +++ b/doc/flex.info-7 @@ -1,4 +1,4 @@ -This is flex.info, produced by makeinfo version 4.3d from flex.texi. +This is flex.info, produced by makeinfo version 4.5 from flex.texi. INFO-DIR-SECTION Programming START-INFO-DIR-ENTRY |