diff options
author | Karl Berry <karl@freefriends.org> | 2022-02-07 21:39:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-02-07 21:39:18 +0000 |
commit | 97faef725282aeda86391385e7d45014aeb4e062 (patch) | |
tree | e7b11462100869162a7e607dd4c4dd4905400c17 /Master/texmf-dist/scripts | |
parent | 5f859dcd83d8e74e5fe1bef6974ba7fad01df478 (diff) |
xindex (7feb22)
git-svn-id: svn://tug.org/texlive/trunk@61930 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-x | Master/texmf-dist/scripts/xindex/xindex.lua | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Master/texmf-dist/scripts/xindex/xindex.lua b/Master/texmf-dist/scripts/xindex/xindex.lua index 73b0e0c8054..984187bf381 100755 --- a/Master/texmf-dist/scripts/xindex/xindex.lua +++ b/Master/texmf-dist/scripts/xindex/xindex.lua @@ -6,11 +6,11 @@ -- AUTHOR: Herbert Voß -- LICENSE: LPPL 1.3 -- --- $Id: xindex.lua 20 2022-01-22 10:37:29Z hvoss $ +-- $Id: xindex.lua 21 2022-01-27 17:45:10Z hvoss $ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.35 + local version = 0.36 xindex.version = version --xindex.self = "xindex" @@ -179,9 +179,14 @@ writeLog(2,"Loading common config file ".."xindex-cfg-common\n",1) Config_File_Common = kpse.find_file("xindex-cfg-common.lua") cfg_common = require(Config_File_Common) -local config_file = "xindex-"..args.config..".lua" -writeLog(2,"Loading local config file "..config_file,0) -Config_File = kpse.find_file(config_file) +local user_config_file = "xindex-"..args["config"]..".lua" +print("Local config file is: "..user_config_file) +writeLog(2,"Loading local config file "..user_config_file,0) +if kpse.find_file(user_config_file) + then Config_File = kpse.find_file(user_config_file) + else print("Cannot find config file with kpse.find_file!!") +end +print("\nLocal KPSE config file is: "..Config_File.."\n") cfg = require(Config_File) writeLog(2," ... done\n",0) |