diff options
Diffstat (limited to 'indexing')
| -rwxr-xr-x | indexing/makeindexk/configure.texk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/indexing/makeindexk/configure.texk b/indexing/makeindexk/configure.texk index 805aee547e..74f8c8b338 100755 --- a/indexing/makeindexk/configure.texk +++ b/indexing/makeindexk/configure.texk @@ -13462,7 +13462,7 @@ ac_config_headers="$ac_config_headers c-auto.h:c-auto.in" -$as_echo "#define TEX_LIVE_VERSION \"2020/dev\"" >>confdefs.h +$as_echo "#define TEX_LIVE_VERSION \"2020\"" >>confdefs.h for ac_header in ctype.h types.h locale.h |