diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-08-04 17:11:51 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-08-04 17:11:51 +0000 |
commit | 07c15acc5255e140be29498f51a1a0efdb7ddbba (patch) | |
tree | 0e3faaaea453c98bee826d0d3ced07898af061b6 /Master | |
parent | 2dad91eaf21a5a1565903467e94d08150d0b118f (diff) |
fixing stupid bug introduced by non-uniform use of code_path() (dirs were no longer detected)
git-svn-id: svn://tug.org/texlive/trunk@10072 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index 923d9a4c5bb..a69a84f1c3a 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -198,7 +198,7 @@ function scan_lsr (code, shift, pattern) if string.sub (dir_line, 1, l) == shift then isdoc = true current_dir = string.sub (dir_line, l+1) - is_dir[code..':'..current_dir] = true + is_dir[code_path(code, current_dir)] = true elseif isdoc then break -- we're exiting the ./doc (or shift) dir, so it's over end |