summaryrefslogtreecommitdiff
path: root/support/texdoc/script
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-02-28 03:02:32 +0000
committerNorbert Preining <norbert@preining.info>2023-02-28 03:02:32 +0000
commited106ad4cb2e3cb0269bdc9f721ff75df77532cf (patch)
tree4cbe8c477935516497526c9a01ed2ab240c782bb /support/texdoc/script
parent86d5a04282aa958addab4585c4df899ec9a92e50 (diff)
CTAN sync 202302280302
Diffstat (limited to 'support/texdoc/script')
-rw-r--r--support/texdoc/script/texdoclib-config.tlu6
-rw-r--r--support/texdoc/script/texdoclib-const.tlu4
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