diff options
author | Karl Berry <karl@freefriends.org> | 2021-03-18 21:23:29 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-03-18 21:23:29 +0000 |
commit | 0f0cfd47b08b0656c66083d33d37b8e02559b3b2 (patch) | |
tree | bd4335c66b72999f3fee4fec654d1528cc4a49c1 /Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu | |
parent | 0243f0be4a16e57c5592e4dcdd13632201dc14ca (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-x | Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu | 5 |
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 |