improved icons;
authorwenzelm
Fri Apr 30 17:59:36 1999 +0200 (1999-04-30)
changeset 6545a8a235a8a4a3
parent 6544 22b91f7c30d2
child 6546 995a66249a9b
improved icons;
lib/Tools/install
     1.1 --- a/lib/Tools/install	Fri Apr 30 17:46:14 1999 +0200
     1.2 +++ b/lib/Tools/install	Fri Apr 30 17:59:36 1999 +0200
     1.3 @@ -99,12 +99,17 @@
     1.4  
     1.5  KDEHOME=~/.kde
     1.6  KDEAPP=~/Desktop/Isabelle.kdelnk
     1.7 +KDEICONS=$KDEHOME/share/icons
     1.8  
     1.9  if [ "$KDE" = true ]; then
    1.10 -  mkdir -p $KDEHOME/share/icons || fail "Bad directory: $KDEHOME/share/icons"
    1.11 +  mkdir -p $KDEICONS || fail "Bad directory: $KDEICONS"
    1.12 +  mkdir -p $KDEICONS/mini || fail "Bad directory: $KDEICONS/mini"
    1.13  
    1.14 -  ICON=$KDEHOME/share/icons/isabelle.xpm
    1.15 -  [ -f $ICON ] || cp $ISABELLE_HOME/lib/logo/isabelle-tiny.xpm $ICON || fail "Cannot write file: $ICON"
    1.16 +  [ -f $KDEICONS/isabelle.xpm ] || cp $ISABELLE_HOME/lib/icons/isabelle.xpm $KDEICONS || \
    1.17 +    fail "Cannot write file: $KDEICONS/isabelle.xpm"
    1.18 +  [ -f $KDEICONS/mini/isabelle.xpm ] || \
    1.19 +    cp $ISABELLE_HOME/lib/icons/isabelle-mini.xpm $KDEICONS/mini/isabelle.xpm || \
    1.20 +    fail "Cannot write file: $KDEICONS/mini/isabelle.xpm"
    1.21  
    1.22    echo "installing $KDEAPP"
    1.23    echo "# KDE Config File" >$KDEAPP || fail "Cannot write file: $KDEAPP"