1.1 --- a/etc/settings	Sat May 22 20:10:11 2010 +0200
     1.2 +++ b/etc/settings	Sat May 22 20:20:51 2010 +0200
     1.3 @@ -157,11 +157,14 @@
     1.4  #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
     1.5  
     1.6  # The pdf file viewer
     1.7 -if [ $(uname -s) = Darwin ]; then
     1.8 -  PDF_VIEWER="open -W -n"
     1.9 -else
    1.10 -  PDF_VIEWER=xpdf
    1.11 -fi
    1.12 +case "$ISABELLE_PLATFORM" in
    1.13 +  *-darwin)
    1.14 +    PDF_VIEWER="open -W -n"
    1.15 +    ;;
    1.16 +  *)
    1.17 +    PDF_VIEWER=xpdf
    1.18 +    ;;
    1.19 +esac
    1.20  #PDF_VIEWER=acroread
    1.21  #PDF_VIEWER=evince
    1.22  

     2.1 --- a/src/Tools/WWW_Find/lib/Tools/wwwfind	Sat May 22 20:10:11 2010 +0200
     2.2 +++ b/src/Tools/WWW_Find/lib/Tools/wwwfind	Sat May 22 20:20:51 2010 +0200
     2.3 @@ -35,12 +35,11 @@
     2.4  
     2.5  function checkplatform()
     2.6  {
     2.7 -  PLAT=$(uname -s)
     2.8 -  case "$PLAT" in
     2.9 -    Linux)
    2.10 +  case "$ISABELLE_PLATFORM" in
    2.11 +    *-linux)
    2.12        ;;
    2.13      *)
    2.14 -      fail "Platform $PLAT currently not supported by $PRG component."
    2.15 +      fail "Platform $ISABELLE_PLATFORM currently not supported by $PRG component"
    2.16        ;;
    2.17    esac
    2.18  }