summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-03-18 21:23:29 +0000
committerKarl Berry <karl@freefriends.org>2021-03-18 21:23:29 +0000
commit0f0cfd47b08b0656c66083d33d37b8e02559b3b2 (patch)
treebd4335c66b72999f3fee4fec654d1528cc4a49c1 /Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu
parent0243f0be4a16e57c5592e4dcdd13632201dc14ca (diff)
texdoc (17mar21) (branch)
git-svn-id: svn://tug.org/texlive/branches/branch2020.0@58527 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu')
-rwxr-xr-xMaster/texmf-dist/scripts/texdoc/texdoclib-search.tlu5
1 files changed, 2 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu
index 0340fa63ba1..8718dc83fff 100755
--- a/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu
+++ b/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu
@@ -280,7 +280,7 @@ local function scan_db(patlist, code, lsr_db)
end
end
---------------------- manage TEXDOCS trees à la kpse ----------------------
+--------------------- manage TEXDOCS trees of the kpse ----------------------
-- build a db from a ls-R file
local function init_lsr_db(root, shift)
@@ -371,11 +371,10 @@ init_texdocs_database = function()
end
doc_roots = {}
- local sep = (os.type == 'windows') and ';' or ':'
local kpse_texdocs = kpse.expand_var('$TEXDOCS')
-- expand the path and turn it into a lua list
- local raw_doc_roots = kpse.expand_braces(kpse_texdocs):explode(sep)
+ local raw_doc_roots = kpse.expand_braces(kpse_texdocs):explode(C.kpse_sep)
local max = #raw_doc_roots + 1
for j, dir in ipairs(raw_doc_roots) do