summaryrefslogtreecommitdiff
path: root/Master/texmf/scripts/texdoc/search.tlu
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/scripts/texdoc/search.tlu')
-rw-r--r--Master/texmf/scripts/texdoc/search.tlu3
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texdoc/search.tlu b/Master/texmf/scripts/texdoc/search.tlu
index 4e19513d1ca..11203fd97c5 100644
--- a/Master/texmf/scripts/texdoc/search.tlu
+++ b/Master/texmf/scripts/texdoc/search.tlu
@@ -480,7 +480,8 @@ function get_tlpinfo_from_tlpdb(filename)
else
local file = string.match(line, '^ ([^ ]*)')
local meta = string.match(line, '^ [^ ]* (.+)')
- if check_ext(file) then
+ local basename = string.match(file, '([^/]*)$')
+ if check_ext(basename) then
-- we've got a docfile here, add it
table.insert(tlp_doclist[curr_tlp], file)
if meta then