etc/settings
changeset 37062 2b94e2d406d9
parent 37058 c47653f3ec14
child 37174 6feaab4fc27d
--- a/etc/settings	Sat May 22 20:10:11 2010 +0200
+++ b/etc/settings	Sat May 22 20:20:51 2010 +0200
@@ -157,11 +157,14 @@
 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
 # The pdf file viewer
-if [ $(uname -s) = Darwin ]; then
-  PDF_VIEWER="open -W -n"
-else
-  PDF_VIEWER=xpdf
-fi
+case "$ISABELLE_PLATFORM" in
+  *-darwin)
+    PDF_VIEWER="open -W -n"
+    ;;
+  *)
+    PDF_VIEWER=xpdf
+    ;;
+esac
 #PDF_VIEWER=acroread
 #PDF_VIEWER=evince