diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2010-12-17 10:50:46 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2010-12-17 10:50:46 +0000 |
commit | 9d16bc763ba4c234469940c94a4452670a4a9e03 (patch) | |
tree | ecef6dde39d480fdef3d5e4e4b4a4a1d7ce59d6f /Master/texmf | |
parent | 4f250c03451e60bff67a668ac087337cdce7df41 (diff) |
texdoc: bugfix
git-svn-id: svn://tug.org/texlive/trunk@20776 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
-rw-r--r-- | Master/texmf/scripts/texdoc/search.tlu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texdoc/search.tlu b/Master/texmf/scripts/texdoc/search.tlu index 8a2b60071f1..4e19513d1ca 100644 --- a/Master/texmf/scripts/texdoc/search.tlu +++ b/Master/texmf/scripts/texdoc/search.tlu @@ -287,7 +287,7 @@ function init_lsr_db(root, shift) local dir_line = maybe_dir and string.match(line, '^%./(.*):$') if dir_line then maybe_dir = false -- next line may not be a dir - if string.sub(dir_line, 1, l) == shift then + if string.sub(dir_line..'/', 1, l) == shift then isdoc = true current_dir = string.sub(dir_line, l+1) db[current_dir] = nil @@ -295,7 +295,7 @@ function init_lsr_db(root, shift) break -- we're exiting the ./doc (or shift) dir, so it's over end elseif isdoc then - local file = current_dir..'/'..line + local file = (current_dir == '') and line or current_dir..'/'..line if check_ext(line) then db[file] = line end end end |