--- a/Admin/ProofGeneral/interface Thu Nov 26 12:55:24 2009 +0100
+++ b/Admin/ProofGeneral/interface Thu Nov 26 14:42:52 2009 +0100
@@ -201,6 +201,15 @@
[ -n "$XSYMBOL_INSTALLFONTS" -a "$XSYMBOL_SETUP" = true ] && installfonts
fi
+ if [ $(uname -s) = Darwin -a -d "$HOME/Library/Fonts" ]
+ then
+ if [ ! -f "$HOME/Library/Fonts/XSymb0Medium.ttf" -o ! -f "$HOME/Library/Fonts/XSymb1Medium.ttf" ]
+ then
+ cp -f "$SUPER/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf" "$HOME/Library/Fonts/"
+ cp -f "$SUPER/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf" "$HOME/Library/Fonts/"
+ fi
+ fi
+
ARGS["${#ARGS[@]}"]="-l"
ARGS["${#ARGS[@]}"]="$SUPER/isar/interface-setup.el"