diff options
Diffstat (limited to 'chapter05/flex.xml')
| -rw-r--r-- | chapter05/flex.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/chapter05/flex.xml b/chapter05/flex.xml index c78a52ffc..1d95dd788 100644 --- a/chapter05/flex.xml +++ b/chapter05/flex.xml @@ -1,7 +1,9 @@ <?xml version="1.0" encoding="ISO-8859-1"?> <!DOCTYPE sect1 PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN" "http://www.oasis-open.org/docbook/xml/4.4/docbookx.dtd" [ <!ENTITY % general-entities SYSTEM "../general.ent"> + <!ENTITY % patches-entities SYSTEM "../patches.ent"> %general-entities; + %patches-entities; ]> <sect1 id="ch-tools-flex" role="wrap"> <title>Flex-&flex-version;</title> @@ -30,7 +32,7 @@ <para>Flex contains several known bugs. These can be fixed 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-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 manual page |