summaryrefslogtreecommitdiff
path: root/Build/source/libs/gmp
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-01-10 23:39:44 +0000
committerKarl Berry <karl@freefriends.org>2017-01-10 23:39:44 +0000
commitf9be0b9296d423d498bdc7fc790f1f092dd9ceef (patch)
treec4d9ea9aeb42056ba87b85ed6c2fe4b5562d7996 /Build/source/libs/gmp
parent717e95591209e3400b26fcadeb11d7ff03ac61b7 (diff)
reautoconf,doc
git-svn-id: svn://tug.org/texlive/trunk@42921 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/gmp')
-rwxr-xr-xBuild/source/libs/gmp/configure2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/libs/gmp/configure b/Build/source/libs/gmp/configure
index 2323f4f2cef..5342f26e5db 100755
--- a/Build/source/libs/gmp/configure
+++ b/Build/source/libs/gmp/configure
@@ -6148,7 +6148,7 @@ else
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
/* end confdefs.h. */
#include "gmp-tmp.h"
-#include "$srcdir/gmp-src/gmp-impl.h"
+#include "$srcdir/gmp-6.1.2/gmp-impl.h"
int
main ()
{