diff options
Diffstat (limited to 'chapter05/mpfr.xml')
-rw-r--r-- | chapter05/mpfr.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/chapter05/mpfr.xml b/chapter05/mpfr.xml index b7e049d16..004273828 100644 --- a/chapter05/mpfr.xml +++ b/chapter05/mpfr.xml @@ -43,10 +43,6 @@ <sect2 role="installation"> <title>Installation of MPFR</title> - <para>Apply a patch that fixes a number of bugs in MPFR-&mpfr-version;</para> - -<screen><userinput remap="pre">patch -Np1 -i ../&mpfr-fixes-patch;</userinput></screen> - <para>Prepare MPFR for compilation:</para> <screen><userinput remap="configure">./configure --prefix=/tools --enable-thread-safe</userinput></screen> |