diff options
Diffstat (limited to 'chapter05/flex.xml')
| -rw-r--r-- | chapter05/flex.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/chapter05/flex.xml b/chapter05/flex.xml index 6a5f25daf..f86853a2f 100644 --- a/chapter05/flex.xml +++ b/chapter05/flex.xml @@ -20,8 +20,12 @@ <sect2 role="installation"> <title>Installation of Flex</title> +<para>Apply a patch:</para> + <screen><userinput>patch -Np1 -i ../flex-&flex-version;-debian_fixes-2.patch</userinput></screen> +<para>Touch the man-page:</para> + <screen><userinput>touch doc/flex.1</userinput></screen> <para>Now prepare Flex for compilation:</para> |