|
@@ -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>
|