summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-08-14 11:40:50 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-08-14 11:40:50 +0000
commitc4b7d372c4ce403fe363f046dc6181bf2bffb41e (patch)
tree5eeca85eba73b6ed29987f08bc7f66f4d0c8b5f6
parent83ca45de6e5ce896d9c21a903d1c1b7450429f73 (diff)
finaly, don't try to be too clever with extensions (eg flshort-3.20 was breaking)
git-svn-id: svn://tug.org/texlive/trunk@10337 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu7
1 files changed, 1 insertions, 6 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu
index b4694edbe7c..468cdd9f539 100755
--- a/Master/texmf/scripts/texlive/texdoc.tlu
+++ b/Master/texmf/scripts/texlive/texdoc.tlu
@@ -807,7 +807,6 @@ setup_config_from_defaults ()
-- initialising and saving a few values
exit_code = 0
no_regex = true
-real_ext_list = config.ext_list
real_populate_docfiles = populate_docfiles
real_mixed_populate_docfiles = mixed_populate_docfiles
real_real_path = real_path
@@ -825,15 +824,12 @@ 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
mixed_populate_docfiles = populate_docfiles_sty
real_path = function (arg) return arg end
- elseif docname_ext then
- config.ext_list = { docname_ext }
- docname = docname_base
end
end
-- main "ifcase mode" construct
@@ -879,7 +875,6 @@ for docname in list (arg) do
end
end
-- restoring possibly diverted values
- config.ext_list = real_ext_list
populate_docfiles = real_populate_docfiles
mixed_populate_docfiles = real_mixed_populate_docfiles
real_path = real_real_path