summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-31 13:26:31 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-31 13:26:31 +0000
commit189801bc1f2d57992933d03be6953f59ca7bf46f (patch)
treeb2fd86af45cf91ea3c2de8cbf8ec09a565ca0f2b /Master
parentdfb47f7d4eceb6cef0507c9c1e7d5f758e442568 (diff)
Locally override ext_list for argument with the extension given.
git-svn-id: svn://tug.org/texlive/trunk@9935 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-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)