summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-07 14:23:13 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-07 14:23:13 +0000
commit6de943f2c2afe7f16f277bc844d5ff8c7c44db42 (patch)
tree84dc7b33ea8484ff383117e75782ed37262ab7f7
parent86d7ee7f07e962b1b62426b2db62a35ea40be057 (diff)
use environment if available
git-svn-id: svn://tug.org/texlive/trunk@9333 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu7
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