summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-06-22 22:50:24 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-06-22 22:50:24 +0000
commit9ac09455da066bf87a1c6568bf333a8da1a423a3 (patch)
tree4c5450edc0693c16a3e5dd7fa636b0367fcdc5bb /Master
parenta8c692880f6a5f6358c6a240b25e86570a59a896 (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-xMaster/texmf/scripts/texlive/texdoc.tlu32
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