diff options
author | Karl Berry <karl@freefriends.org> | 2018-04-28 02:01:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-04-28 02:01:24 +0000 |
commit | 844078cddfda2e1ad9eb52ced942672dce7436d2 (patch) | |
tree | a3eddc49a78f3feb72436edba097aedf9990a4df /Build/source/texk/makeindexk/configure | |
parent | fa8dc3a0cb5994d80005bbb5d392d17980e1fb5a (diff) |
post-2018 release /dev ident
git-svn-id: svn://tug.org/texlive/trunk@47468 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/makeindexk/configure')
-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 4de43ae1ff8..8d21a30b913 100755 --- a/Build/source/texk/makeindexk/configure +++ b/Build/source/texk/makeindexk/configure @@ -13460,7 +13460,7 @@ ac_config_headers="$ac_config_headers c-auto.h:c-auto.in" -$as_echo "#define TEX_LIVE_VERSION \"2018\"" >>confdefs.h +$as_echo "#define TEX_LIVE_VERSION \"2018/dev\"" >>confdefs.h for ac_header in ctype.h types.h locale.h |