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