diff options
Diffstat (limited to 'indexing/makeindexk/configure.texk')
-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 33a282671e..b583d40529 100755 --- a/indexing/makeindexk/configure.texk +++ b/indexing/makeindexk/configure.texk @@ -14114,7 +14114,7 @@ ac_config_headers="$ac_config_headers c-auto.h:c-auto.in" -printf "%s\n" "#define TEX_LIVE_VERSION \"2022\"" >>confdefs.h +printf "%s\n" "#define TEX_LIVE_VERSION \"2023/dev\"" >>confdefs.h ac_fn_c_check_header_compile "$LINENO" "ctype.h" "ac_cv_header_ctype_h" "$ac_includes_default" |