diff options
Diffstat (limited to 'chapter05/flex.xml')
| -rw-r--r-- | chapter05/flex.xml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/chapter05/flex.xml b/chapter05/flex.xml index b1c6b3525..11e81cd51 100644 --- a/chapter05/flex.xml +++ b/chapter05/flex.xml @@ -12,7 +12,6 @@ <secondary>tools</secondary></indexterm> <sect2 role="package"><title/> -<xi:include xmlns:xi="http://www.w3.org/2003/XInclude" href="../chapter06/flex.xml" xpointer="xpointer(/sect1/sect2[1]/para[1])"/> <segmentedlist> <segtitle>&buildtime;</segtitle> @@ -20,22 +19,13 @@ <seglistitem><seg>0.6 SBU</seg><seg>10.6 MB</seg></seglistitem> </segmentedlist> -<xi:include xmlns:xi="http://www.w3.org/2003/XInclude" href="../chapter06/flex.xml" xpointer="xpointer(/sect1/sect2[1]/segmentedlist[2])"/> - </sect2> <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-&flex-version;-debian_fixes-2.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 manual page accordingly, but this -breaks on many systems, and the default page is fine, so make sure it doesn't -get regenerated:</para> - <screen><userinput>touch doc/flex.1</userinput></screen> <para>Now prepare Flex for compilation:</para> @@ -55,8 +45,4 @@ get regenerated:</para> </sect2> -<sect2 role="content"><title/> -<para>The details on this package are found in <xref linkend="contents-flex"/>.</para> -</sect2> - </sect1> |