diff options
author | Norbert Preining <norbert@preining.info> | 2022-09-21 03:01:15 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-09-21 03:01:15 +0000 |
commit | 447570beca76a6dfe5283e4793fd2bbabe73766b (patch) | |
tree | efd46c488b2b54cc383cef86e0090bf23aabbe54 /indexing/xindex/scripts/xindex.lua | |
parent | 7907f67d07d36a7e20421a1ec3a0eceecac4aacd (diff) |
CTAN sync 202209210301
Diffstat (limited to 'indexing/xindex/scripts/xindex.lua')
-rwxr-xr-x | indexing/xindex/scripts/xindex.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/indexing/xindex/scripts/xindex.lua b/indexing/xindex/scripts/xindex.lua index b20996aabe..e335dfcc02 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/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 |