more robust check;
authorwenzelm
Fri Mar 07 09:56:55 1997 +0100 (1997-03-07)
changeset 27462a2d51f2cd95
parent 2745 6d0dd9491da8
child 2747 9fdc1461085f
more robust check;
lib/Tools/installfonts
     1.1 --- a/lib/Tools/installfonts	Fri Mar 07 09:49:28 1997 +0100
     1.2 +++ b/lib/Tools/installfonts	Fri Mar 07 09:56:55 1997 +0100
     1.3 @@ -23,7 +23,7 @@
     1.4  
     1.5  function checkfonts()
     1.6  {
     1.7 -  RESULT=$(xlsfonts -fn "-isabelle-*" 2>&1) || return 1
     1.8 +  RESULT=$(xlsfonts -fn "-isabelle-*-isabelle-0" 2>&1) || return 1
     1.9  
    1.10    case "$RESULT" in
    1.11      xlsfonts:*)