summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-08-13 04:46:18 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-08-13 04:46:18 +0000
commit5d96e7c1c2d8b043e6c92ad99581c65d488ead94 (patch)
tree9a20873120acd24c038d4f32432429f5d1da3c7f
parent2128a986b7128c868a4d2820590286016bb27b00 (diff)
fixing bug with dots in directory names
git-svn-id: svn://tug.org/texlive/trunk@10304 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu
index 74997538713..b4694edbe7c 100755
--- a/Master/texmf/scripts/texlive/texdoc.tlu
+++ b/Master/texmf/scripts/texlive/texdoc.tlu
@@ -825,7 +825,7 @@ for docname in list (arg) do
end
-- exceptions for arguments with extension given
if config.mode ~= 'regex' then
- docname_base, docname_ext = string.match (docname, '^(.*)%.(.*)$')
+ docname_base, docname_ext = string.match (docname, '^(.*)%.([^/]*)$')
if docname_ext == 'sty' then
err_print ("using special search mode for sty files", 'info')
populate_docfiles = populate_docfiles_sty