diff options
Diffstat (limited to 'Build/source/texk/web2c/configure')
-rwxr-xr-x | Build/source/texk/web2c/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure index e0daf8a0f6f..4324b3fb31c 100755 --- a/Build/source/texk/web2c/configure +++ b/Build/source/texk/web2c/configure @@ -1992,7 +1992,7 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu -WEB2CVERSION=7.5.6 +WEB2CVERSION=7.5.7 cat >>confdefs.h <<_ACEOF #define WEB2CVERSION " (Web2C $WEB2CVERSION)" |