diff -up flex-2.5.4/MISC/texinfo/flex.texi\~ flex-2.5.4/MISC/texinfo/flex.texi
--- flex-2.5.4/MISC/texinfo/flex.texi~ 2013-08-16 11:30:30.763146028 +0200
+++ flex-2.5.4/MISC/texinfo/flex.texi 2013-08-16 11:37:03.920218393 +0200
@@ -114,6 +114,7 @@ PURPOSE.
@node Top, Name, (dir), (dir)
@top flex
+@raisesections
@cindex scanner generator
Diff finished. Fri Aug 16 11:37:12 2013