%general-entities; ]> Flex-&flex-version; <segmentedlist> <segtitle>&buildtime;</segtitle> <segtitle>&diskspace;</segtitle> <seglistitem><seg>0.6 SBU</seg><seg>10.6 MB</seg></seglistitem> </segmentedlist> </sect2> <sect2 role="installation"> <title>Installation of Flex Apply a patch: patch -Np1 -i ../flex-&flex-version;-debian_fixes-2.patch Touch the man-page: touch doc/flex.1 Now prepare Flex for compilation: ./configure --prefix=/tools Compile the package: make To test the results, issue: make check. Now install the package: make install