diff options
Diffstat (limited to 'Build/source/texk/makeindexk')
| -rwxr-xr-x | Build/source/texk/makeindexk/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/makeindexk/configure b/Build/source/texk/makeindexk/configure index 70e404c1c7b..809d2f03634 100755 --- a/Build/source/texk/makeindexk/configure +++ b/Build/source/texk/makeindexk/configure @@ -12806,7 +12806,7 @@ ac_config_headers="$ac_config_headers c-auto.h:c-auto.in" -$as_echo "#define TEX_LIVE_VERSION \"2013/dev\"" >>confdefs.h +$as_echo "#define TEX_LIVE_VERSION \"2013\"" >>confdefs.h for ac_header in ctype.h types.h locale.h |