summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2010-12-17 10:50:46 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2010-12-17 10:50:46 +0000
commit9d16bc763ba4c234469940c94a4452670a4a9e03 (patch)
treeecef6dde39d480fdef3d5e4e4b4a4a1d7ce59d6f /Master
parent4f250c03451e60bff67a668ac087337cdce7df41 (diff)
texdoc: bugfix
git-svn-id: svn://tug.org/texlive/trunk@20776 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf/scripts/texdoc/search.tlu4
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