summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu9
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)