diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-02-24 01:40:56 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-02-24 01:40:56 +0000 |
| commit | c2f7b0868493dc1dd15c57081617345eaea6decd (patch) | |
| tree | 962778ffaa5459712abc2aeb03e20713ddfcc9c2 | |
| parent | 560f7b4a15435b70f3c71d936bfcf98d92e3c97c (diff) | |
| download | mpfr-c2f7b0868493dc1dd15c57081617345eaea6decd.tar.gz | |
[doc/mpfr.texi] Fixed a warning with "make info".
(merged changeset r10105 from the trunk)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@10106 280ebfd0-de03-0410-8827-d642c229c3f4
| -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 c71a56877..6c59d068a 100644 --- a/doc/mpfr.texi +++ b/doc/mpfr.texi @@ -618,7 +618,7 @@ gcc myprogram.c -lmpfr -lgmp @cindex Libtool MPFR is built using Libtool and an application can use that to link if -desired, @MPFRpxreftop{libtool.info, GNU Libtool} +desired, @MPFRpxreftop{libtool, GNU Libtool} @c Note: the .info extension has been added to avoid the following bug: @c https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484740 @c which occurs when reading the info file from the build directory: |