diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/README.dev | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/README.dev b/doc/README.dev index 3e763f5b3..a3bbdfed8 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -745,7 +745,7 @@ for undefined preprocessing identifier"). =========================================================================== -If wou want to use the logging of MPFR, you need to enable it: +If you want to use the logging of MPFR, you need to enable it: ./configure --enable-logging make clean make |