diff options
Diffstat (limited to 'chapter05/make.xml')
| -rw-r--r-- | chapter05/make.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/chapter05/make.xml b/chapter05/make.xml index 22b5afb4e..f03c55c6d 100644 --- a/chapter05/make.xml +++ b/chapter05/make.xml @@ -42,6 +42,9 @@ <sect2 role="installation"> <title>Installation of Make</title> + <para>Fix some problems identified upstream:</para> + +<screen><userinput remap="pre">patch -Np1 -i ../&make-upstream-patch;</userinput></screen> <para>Prepare Make for compilation:</para> <screen><userinput remap="configure">./configure --prefix=/tools --without-guile</userinput></screen> |