diff options
author | Norbert Preining <norbert@preining.info> | 2023-02-28 03:02:32 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-02-28 03:02:32 +0000 |
commit | ed106ad4cb2e3cb0269bdc9f721ff75df77532cf (patch) | |
tree | 4cbe8c477935516497526c9a01ed2ab240c782bb /support/texdoc/script | |
parent | 86d5a04282aa958addab4585c4df899ec9a92e50 (diff) |
CTAN sync 202302280302
Diffstat (limited to 'support/texdoc/script')
-rw-r--r-- | support/texdoc/script/texdoclib-config.tlu | 6 | ||||
-rw-r--r-- | support/texdoc/script/texdoclib-const.tlu | 4 |
2 files changed, 6 insertions, 4 deletions
diff --git a/support/texdoc/script/texdoclib-config.tlu b/support/texdoc/script/texdoclib-config.tlu index cf756b7b6a..ad9f852ea7 100644 --- a/support/texdoc/script/texdoclib-config.tlu +++ b/support/texdoc/script/texdoclib-config.tlu @@ -48,6 +48,7 @@ function M.get_value(key) return config[key] end -- interpreting 'context' in this section local function context_to_string(context) + local w32_path = import_function('util', 'w32_path') if not context then return '(no context)' end if context.src == 'cl' then return 'from command-line option "' .. context.name .. '"' @@ -56,7 +57,7 @@ local function context_to_string(context) elseif context.src == 'loc' then return 'from operating system locale' elseif context.src == 'file' then - return 'in file "' .. context.file .. '" on line ' .. context.line + return 'in file "' .. w32_path(context.file) .. '" on line ' .. context.line elseif context.src == 'def' then return 'from built-in defaults' else @@ -266,6 +267,7 @@ end -- set config and aliases from a particular config file assumed to exist local function read_config_file(configfile) local err_print = import_function('util', 'err_print') + local w32_path = import_function('util', 'w32_path') local confline_to_alias = import_function('alias', 'confline_to_alias') local confline_to_score = import_function('score', 'confline_to_score') @@ -302,7 +304,7 @@ local function read_config_file(configfile) -- complain if it failed if not ok then err_print('warning', - 'syntax error in %s at line %d.', configfile, lineno) + 'syntax error in %s at line %d.', w32_path(configfile), lineno) end ::continue:: diff --git a/support/texdoc/script/texdoclib-const.tlu b/support/texdoc/script/texdoclib-const.tlu index 16acce71aa..c551bf40ef 100644 --- a/support/texdoc/script/texdoclib-const.tlu +++ b/support/texdoc/script/texdoclib-const.tlu @@ -22,8 +22,8 @@ end -- progname and version fullname = kpse.find_file('texdoc/texdoclib', 'lua') progname = 'Texdoc' -version = '4.0' -release_date = '2023-02-20' +version = '4.0.1' +release_date = '2023-02-27' -- make sure to update setup_config_from_cl() accordingly -- and set a default value in setup_config_from_defaults() if relevant |