diff options
author | Karl Berry <karl@freefriends.org> | 2022-09-01 20:56:57 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-09-01 20:56:57 +0000 |
commit | e40f563d40e04a05b994b39fb17a7ce227bd1349 (patch) | |
tree | c479aee81b197cf3d9ff5980a0c3e41ef2f7c6f0 /Master/texmf-dist/scripts | |
parent | e54d39c1730c4a54701d1c12181e64949410b709 (diff) |
xindex (1sep22)
git-svn-id: svn://tug.org/texlive/trunk@64256 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-x | Master/texmf-dist/scripts/xindex/xindex.lua | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/xindex/xindex.lua b/Master/texmf-dist/scripts/xindex/xindex.lua index a54fe953c10..b20996aabe8 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.41 + local version = 0.43 xindex.version = version --xindex.self = "xindex" @@ -56,6 +56,7 @@ local args = require ('xindex-lapp') [[ -p,--prefix (default L) -u,--use_UCA -s,--use_stdin + -V,--version <files...> (default stdin) .idx file(s) ]] @@ -66,6 +67,10 @@ local args = require ('xindex-lapp') [[ Three -v flags, v is { true, true, true } ]] +if args.version then + print("xindex version "..xindex.version) +end + vlevel = not args.v[1] and 0 or #args.v not_quiet = not args["quiet"] @@ -98,6 +103,15 @@ end require('xindex-baselib') local nInFiles = #args.files + +-- print(#args.files,args.files_name[1]) + +if not useStdInput and not args.files_name then + print("Use option -s for StdIn or define an input data file!") + os.exit() +end + + if not useStdInput then if vlevel == 3 then print(tostring(nInFiles).." input file(s): ") |