diff options
author | Karl Berry <karl@freefriends.org> | 2022-09-20 19:54:23 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-09-20 19:54:23 +0000 |
commit | 93afd31b3d1a970cd5f584038bc1a3224432f41a (patch) | |
tree | bc930371533944d270ca8b5a62882492079849b2 /Build | |
parent | b0e5e5f9f570ed7bfd34211190a0fc88628b824c (diff) |
xindex (20sep22)
git-svn-id: svn://tug.org/texlive/trunk@64453 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/xindex/xindex.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua index b20996aabe8..e335dfcc02f 100755 --- a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua +++ b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua @@ -10,7 +10,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.43 + local version = 0.45 xindex.version = version --xindex.self = "xindex" @@ -69,6 +69,7 @@ local args = require ('xindex-lapp') [[ if args.version then print("xindex version "..xindex.version) + os.exit() end vlevel = not args.v[1] and 0 or #args.v |