summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-09-20 19:54:23 +0000
committerKarl Berry <karl@freefriends.org>2022-09-20 19:54:23 +0000
commit93afd31b3d1a970cd5f584038bc1a3224432f41a (patch)
treebc930371533944d270ca8b5a62882492079849b2 /Master/texmf-dist/scripts
parentb0e5e5f9f570ed7bfd34211190a0fc88628b824c (diff)
xindex (20sep22)
git-svn-id: svn://tug.org/texlive/trunk@64453 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-xMaster/texmf-dist/scripts/xindex/xindex.lua3
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/xindex/xindex.lua b/Master/texmf-dist/scripts/xindex/xindex.lua
index b20996aabe8..e335dfcc02f 100755
--- a/Master/texmf-dist/scripts/xindex/xindex.lua
+++ b/Master/texmf-dist/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