diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-08-04 17:29:10 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-08-04 17:29:10 +0000 |
commit | be32ea9ddbd01636363008331ba20c8dd5439eea (patch) | |
tree | aacf8626e3cde6f30354d75d484900a5d17785aa /Master/texmf/scripts | |
parent | 07c15acc5255e140be29498f51a1a0efdb7ddbba (diff) |
allowing old envvars TEXDOCVIEW_* and TEXDOC_VIEWER_* too
git-svn-id: svn://tug.org/texlive/trunk@10073 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/scripts')
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index a69a84f1c3a..6ced5f191e5 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -408,11 +408,16 @@ end -- set config from environment if available function setup_config_from_env () set_config_list { - viewer_pdf = os.getenv ("PDFVIEWER"), - viewer_ps = os.getenv ("PSVIEWER"), - viewer_dvi = os.getenv ("DVIVIEWER"), - viewer_html = os.getenv ("BROWSER"), + viewer_pdf = os.getenv ("PDFVIEWER") + or os.getenv ("TEXDOCVIEW_pdf") or os.getenv ("TEXDOC_VIEWER_PDF"), + viewer_ps = os.getenv ("PSVIEWER") + or os.getenv ("TEXDOCVIEW_ps") or os.getenv ("TEXDOC_VIEWER_PS"), + viewer_dvi = os.getenv ("DVIVIEWER") + or os.getenv ("TEXDOCVIEW_dvi") or os.getenv ("TEXDOC_VIEWER_DVI"), + viewer_html = os.getenv ("BROWSER") + or os.getenv ("TEXDOCVIEW_html") or os.getenv ("TEXDOC_VIEWER_HTML"), viewer_txt = os.getenv ("PAGER") + or os.getenv ("TEXDOCVIEW_txt") or os.getenv ("TEXDOC_VIEWER_TXT") } end |