diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 7 |
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 |