diff options
Diffstat (limited to 'doc/mpfr.texi')
-rw-r--r-- | doc/mpfr.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mpfr.texi b/doc/mpfr.texi index 192e2e9d5..e2271e429 100644 --- a/doc/mpfr.texi +++ b/doc/mpfr.texi @@ -398,7 +398,7 @@ by typing: In case of failure, you may want to check whether the problem is already known. If not, please report this failure to the MPFR mailing-list -@samp{mpfr@@inria.fr}. For details, @xref{Reporting Bugs}. +@samp{mpfr@@inria.fr}. For details, see @ref{Reporting Bugs}. @item @samp{make install} |