diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-06-22 22:50:24 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-06-22 22:50:24 +0000 |
commit | 9ac09455da066bf87a1c6568bf333a8da1a423a3 (patch) | |
tree | 4c5450edc0693c16a3e5dd7fa636b0367fcdc5bb /Master | |
parent | a8c692880f6a5f6358c6a240b25e86570a59a896 (diff) |
correct texdoc_viewer value for osx from JK, using os.type too
git-svn-id: svn://tug.org/texlive/trunk@8944 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 32 |
1 files changed, 21 insertions, 11 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index c37d9bf47e5..715f0614dc3 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -232,8 +232,7 @@ kpse.set_program_name(arg[-1], "texdoc") -- [[ initialize some variables ]] texdoc_formats = {'dvi','pdf','ps','txt','html'} --- can be done with: if (os.type == "windows") then -if string.find(os.getenv("PATH"),";") then +if (os.type == "windows") then -- probably Windows (or OS/2) -- which commands should we use for unzipping? texdoc_unzip = { @@ -251,19 +250,30 @@ if string.find(os.getenv("PATH"),";") then rmfile_command = 'del /F '; rmdir_command = 'rmdir '; else - -- probably UNIX-like + -- since we don't support msdos, if os.type is not windows, it's unix texdoc_unzip = { gz = "gzip -d -c ", bz2 = "bzip2 -d -c " }; - texdoc_viewer = { - dvi = '(xdvi %s ) &', - html = '(see %s) &', - pdf = '(xpdf %s) &', - ps = '(gv %s) &', - txt = '(less %s )', - tex = '(less %s )' - }; + if (os.name == 'macosx') then + texdoc_viewer = { + dvi = '(open %s)', + html = '(open %s)', + pdf = '(open %s)', + ps = '(open %s)', + txt = '(less %s )', + tex = '(less %s )' + }; + else + texdoc_viewer = { + dvi = '(xdvi %s ) &', + html = '(see %s) &', + pdf = '(xpdf %s) &', + ps = '(gv %s) &', + txt = '(less %s )', + tex = '(less %s )' + }; + end rmfile_command = 'rm -f '; rmdir_command = 'rmdir '; end |