diff options
Diffstat (limited to 'chapter05/flex.xml')
| -rw-r--r-- | chapter05/flex.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter05/flex.xml b/chapter05/flex.xml index 94c91a1dd..064ae4b31 100644 --- a/chapter05/flex.xml +++ b/chapter05/flex.xml @@ -29,7 +29,7 @@ <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> +<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 patch, and tries to update the man pages to include those changes, but this |