diff options
Diffstat (limited to 'chapter05/flex.xml')
| -rw-r--r-- | chapter05/flex.xml | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/chapter05/flex.xml b/chapter05/flex.xml index 6521efc8b..b0974aeca 100644 --- a/chapter05/flex.xml +++ b/chapter05/flex.xml @@ -46,29 +46,30 @@ <para>Flex contains several known bugs. These can be fixed with the following patch:</para> -<screen><userinput>patch -Np1 -i ../&flex-fixes-patch;</userinput></screen> +<screen><userinput remap="pre">patch -Np1 -i ../&flex-fixes-patch;</userinput></screen> <para>The GNU autotools will detect that the Flex source code has been modified by the previous patch and tries to update the man page accordingly. This does not work 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> +<screen><userinput remap="pre">touch doc/flex.1</userinput></screen> <para>Now prepare Flex for compilation:</para> -<screen><userinput>./configure --prefix=/tools</userinput></screen> +<screen><userinput remap="configure">./configure --prefix=/tools</userinput></screen> <para>Compile the package:</para> -<screen><userinput>make</userinput></screen> +<screen><userinput remap="make">make</userinput></screen> - <para>To test the results, issue: - <userinput>make check</userinput>.</para> + <para>To test the results, issue:</para> + +<screen><userinput remap="test">make check</userinput></screen> <para>Install the package:</para> -<screen><userinput>make install</userinput></screen> +<screen><userinput remap="install">make install</userinput></screen> </sect2> |