diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index eabba8a59a3..596aa15746d 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -735,11 +735,17 @@ setup_config_from_defaults () exit_code = 0 no_regex = true +real_ext_list = config.ext_list for docname in list (arg) do - if config.alias_switch and alias[docname] then + if config.alias_switch and alias[docname] then print ("texdoc info: "..docname.." aliased to "..alias[docname]) docname = alias[docname] end + docname_base, docname_ext = string.match(docname, '^(.*)%.(.*)$') + if docname_ext then + config.ext_list = { docname_ext } + docname = docname_base + end local docfound = false if (config.mode == 'regex') then no_regex = false @@ -782,6 +788,7 @@ for docname in list (arg) do print_menu (exact_docfiles) end end -- if construct "case config.mode in" + config.ext_list = real_ext_list end -- for docname in arg os.exit(exit_code) |