diff options
-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 |