Index: BOOK/final-system/common/mpfr.xml
===================================================================
--- BOOK/final-system/common/mpfr.xml (revision 8213adb6b1efd41ff33c8b3d598588a5d887c807)
+++ BOOK/final-system/common/mpfr.xml (revision 686839b2795fdf7b4909119c5e2fce7501a97c2d)
@@ -48,5 +48,5 @@
Test the results:
-make check
+make check
Install the package: