diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-07 14:23:13 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-07 14:23:13 +0000 |
commit | 6de943f2c2afe7f16f277bc844d5ff8c7c44db42 (patch) | |
tree | 84dc7b33ea8484ff383117e75782ed37262ab7f7 /Master | |
parent | 86d7ee7f07e962b1b62426b2db62a35ea40be057 (diff) |
use environment if available
git-svn-id: svn://tug.org/texlive/trunk@9333 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index fc0e45b08ed..d7c8c88e9e8 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -268,6 +268,13 @@ function setup_config () end end +-- with intermediate priority, we shall make use of some environment variables +set_config_list { + viewer_html = os.getenv("BROWSER"), + viewer_tex = os.getenv("PAGER"), + viewer_txt = os.getenv("PAGER") +} + -- for default viewer on general Unix, we use a list -- and check in the path in order to find a suitable program |