# HG changeset patch
# User wenzelm
# Date 855043157 -3600
# Node ID cc768a16ef659c2221a32a47e8d35b95cb5259fe
# Parent  eec6bdf5380994a01795640959bfc41dfbe5a755
now uses ISABELLE_INSTALLFONTS;

diff -r eec6bdf53809 -r cc768a16ef65 lib/Tools/installfonts
--- a/lib/Tools/installfonts	Tue Feb 04 08:58:47 1997 +0100
+++ b/lib/Tools/installfonts	Tue Feb 04 08:59:17 1997 +0100
@@ -19,16 +19,25 @@
 }
 
 
+## check for isabelle fonts
+
+function checkfonts()
+{
+  RESULT=$(xlsfonts -fn "-isabelle-*" 2>&1) || return 1
+
+  case "$RESULT" in
+    xlsfonts:*)
+      return 1
+      ;;
+  esac
+
+  return 0
+}
+
+
 ## main
 
 [ $# -ne 0 ] && usage
 
-
-RESULT=$(xlsfonts -fn "-isabelle-*" 2>&1) || exit 1
-
-case "$RESULT" in
-  xlsfonts:*)
-    xset fp+ $ISABELLE_HOME/lib/fonts
-    xset fp rehash
-    ;;
-esac
+checkfonts || eval $ISABELLE_INSTALLFONTS
+checkfonts || echo "WARNING: Isabelle fonts probably not installed correctly!" >&2