diff options
Diffstat (limited to 'doc/flex.info-2')
| -rw-r--r-- | doc/flex.info-2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/flex.info-2 b/doc/flex.info-2 index 87025fa..b2ca705 100644 --- a/doc/flex.info-2 +++ b/doc/flex.info-2 @@ -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 |