diff options
Diffstat (limited to 'chapter05')
| -rw-r--r-- | chapter05/make.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/chapter05/make.xml b/chapter05/make.xml index f03c55c6d..22b5afb4e 100644 --- a/chapter05/make.xml +++ b/chapter05/make.xml @@ -42,9 +42,6 @@ <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> |