Skip to content

Commit

Permalink
more w32_path for debug outputs
Browse files Browse the repository at this point in the history
  • Loading branch information
wtsnjp committed Aug 10, 2024
1 parent a0128b0 commit 9a6c868
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 3 deletions.
3 changes: 2 additions & 1 deletion script/texdoclib-config.tlu
Original file line number Diff line number Diff line change
Expand Up @@ -152,7 +152,8 @@ function M.set_config_element(key, value, context)

-- special case: if we just set debug_list, print version info now
if key == 'debug_list' then
dbg_print('version', '%s v%s', C.fullname, C.version)
local w32_path = import_function('util', 'w32_path')
dbg_print('version', '%s v%s', w32_path(C.fullname), C.version)
end

-- now tell what we have just done, for debugging
Expand Down
5 changes: 3 additions & 2 deletions script/texdoclib-search.tlu
Original file line number Diff line number Diff line change
Expand Up @@ -359,6 +359,7 @@ init_texdocs_database = function()

doc_roots = {}
local kpse_texdocs = kpse.expand_var('$TEXDOCS')
local w32_path = texdoc.util.w32_path

-- expand the path and turn it into a lua list
local raw_doc_roots = kpse.expand_braces(kpse_texdocs):explode(C.kpse_sep)
Expand All @@ -376,13 +377,13 @@ init_texdocs_database = function()
local index_mandatory = (n == 1)
dbg_print('texdocs',
'texdocs[%d] = %s (index_mandatory=%s, recursion_allowed=%s)',
i, path, tostring(index_mandatory), tostring(recursion_allowed))
i, w32_path(path), tostring(index_mandatory), tostring(recursion_allowed))

-- decide if we should use a ls-R index, the filesystem, or do nothing
local root, shift = lsr_root(path)
if root and shift and recursion_allowed then
dbg_print('texdocs',
'texdocs[%d] using index: %s (shift=%s)', i, root, shift)
'texdocs[%d] using index: %s (shift=%s)', i, w32_path(root), shift)
db = init_lsr_db(root, shift)
elseif not index_mandatory and lfs.isdir(path) then
dbg_print('texdocs',
Expand Down

0 comments on commit 9a6c868

Please sign in to comment.