diff options
Diffstat (limited to 'chapter06')
| -rw-r--r-- | chapter06/mpfr.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chapter06/mpfr.xml b/chapter06/mpfr.xml index 597df4d65..8da91cb47 100644 --- a/chapter06/mpfr.xml +++ b/chapter06/mpfr.xml @@ -40,12 +40,12 @@ <sect2 role="installation"> <title>Installation of MPFR</title> -<!-- + <para>First, apply the following patch to fix various bugs that have been addressed upstream:</para> -<screen><userinput remap="pre">patch -Np1 -i ../&mpfr-fixes-patch;</userinput></screen> ---> +<screen><userinput remap="pre">patch -Np1 -i ../&mpfr-upstream-patch;</userinput></screen> + <para>Prepare MPFR for compilation:</para> <screen><userinput remap="configure">./configure --prefix=/usr \ |