summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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