diff options
| author | Karl Berry <karl@freefriends.org> | 2017-01-10 23:39:44 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-01-10 23:39:44 +0000 |
| commit | f9be0b9296d423d498bdc7fc790f1f092dd9ceef (patch) | |
| tree | c4d9ea9aeb42056ba87b85ed6c2fe4b5562d7996 /Build/source/libs/gmp | |
| parent | 717e95591209e3400b26fcadeb11d7ff03ac61b7 (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-x | Build/source/libs/gmp/configure | 2 |
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 () { |