diff options
Diffstat (limited to 'Master/texmf/scripts/texdoc/search.tlu')
-rw-r--r-- | Master/texmf/scripts/texdoc/search.tlu | 3 |
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 |