diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-31 13:26:31 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-31 13:26:31 +0000 |
commit | 189801bc1f2d57992933d03be6953f59ca7bf46f (patch) | |
tree | b2fd86af45cf91ea3c2de8cbf8ec09a565ca0f2b | |
parent | dfb47f7d4eceb6cef0507c9c1e7d5f758e442568 (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
-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) |