summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-10-01 13:54:04 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-10-01 13:54:04 +0000
commitee0bba904bbea756e12add042f58114ec59c8ded (patch)
tree822940fc620f4ac1d5ccadc2a371ca7444f33a1d
parentaf8513fb5f2cb41c63ae931d9e8abc0650e4d2d9 (diff)
downloadmpfr-ee0bba904bbea756e12add042f58114ec59c8ded.tar.gz
[doc/with-mini-gmp.patch] Updated comment.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13236 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--doc/with-mini-gmp.patch2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/with-mini-gmp.patch b/doc/with-mini-gmp.patch
index e057dfddb..fa752cd3d 100644
--- a/doc/with-mini-gmp.patch
+++ b/doc/with-mini-gmp.patch
@@ -28,6 +28,8 @@ earlier versions, due to a bug fixed in 1.16; in Automake 1.16 NEWS file:
using a private target that is only meant to bootstrap the required
makefile fragments.
+The code has been changed in r13235 to avoid this Automake bug.
+
Index: configure.ac
===================================================================
--- configure.ac (revision 13213)