diff options
Diffstat (limited to 'chapter06/flex.xml')
| -rw-r--r-- | chapter06/flex.xml | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/chapter06/flex.xml b/chapter06/flex.xml index 3d375d311..1f33675ea 100644 --- a/chapter06/flex.xml +++ b/chapter06/flex.xml @@ -26,7 +26,7 @@ <seglistitem> <seg>0.1 SBU</seg> - <seg>22.5 MB</seg> + <seg>21.3 MB</seg> </seglistitem> </segmentedlist> @@ -44,18 +44,6 @@ <sect2 role="installation"> <title>Installation of Flex</title> - <para>Flex contains several known bugs. Fix these with the following - patch:</para> - -<screen><userinput>patch -Np1 -i ../&flex-fixes-patch;</userinput></screen> - - <para>The GNU autotools detects that the Flex source code has been - modified by the previous patch and tries to update the man page - accordingly. This does not work correctly on many systems, and the - default page is fine, so make sure it does not get regenerated:</para> - -<screen><userinput>touch doc/flex.1</userinput></screen> - <para>Prepare Flex for compilation:</para> <screen><userinput>./configure --prefix=/usr</userinput></screen> |