# HG changeset patch
# User wenzelm
# Date 1343816096 -7200
# Node ID 81c81f13d15203d92e049da7a9eca79cdd897e36
# Parent  2f230b6175412e8989db1b5dd7a0dc1f4f2a72e0
no longer force STIX fonts onto the user -- NB: STIXv1.0.0 is outdated and Mac OS 10.7 ships its own copy of STIX already;

diff -r 2f230b617541 -r 81c81f13d152 Admin/MacOS/App1/script
--- a/Admin/MacOS/App1/script	Wed Aug 01 11:55:18 2012 +0200
+++ b/Admin/MacOS/App1/script	Wed Aug 01 12:14:56 2012 +0200
@@ -59,18 +59,6 @@
 fi
 
 
-# enforce fonts
-
-if [ ! -f "$HOME/Library/Fonts/STIXGeneral.ttf" -a ! -f "$HOME/Library/Fonts/STIXGeneral.otf" ]
-then
-  cp -f "$THIS/STIXv1.0.0/Fonts"/STIXGeneral* "$HOME/Library/Fonts/"
-  sleep 3
-fi
-
-EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-x"
-EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="true"
-
-
 # run interface with error feedback
 
 ISABELLE_INTERFACE_CHOICE="$("$ISABELLE_TOOL" getenv -b ISABELLE_INTERFACE_CHOICE)"