fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;
authorwenzelm
Tue Apr 20 15:23:43 1999 +0200 (1999-04-20)
changeset 64591d13a86bfa6c
parent 6458 13c779aec65a
child 6460 cb8c85435228
fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;
lib/Tools/install
     1.1 --- a/lib/Tools/install	Tue Apr 20 15:20:27 1999 +0200
     1.2 +++ b/lib/Tools/install	Tue Apr 20 15:23:43 1999 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4    echo "Usage: $PRG [OPTIONS]"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 -  echo "    -d DISTDIR   use DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
     1.8 +  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
     1.9    echo "    -k           install KDE application icon on Desktop"
    1.10    echo "    -p DIR       install standalone binaries in DIR"
    1.11    echo
    1.12 @@ -71,7 +71,7 @@
    1.13  
    1.14  ## main
    1.15  
    1.16 -echo "distribution at $DISTDIR"
    1.17 +echo "referring to distribution at $DISTDIR"
    1.18  
    1.19  
    1.20  # standalone binaries
    1.21 @@ -104,7 +104,7 @@
    1.22    mkdir -p $KDEHOME/share/icons || fail "Bad directory: $KDEHOME/share/icons"
    1.23  
    1.24    ICON=$KDEHOME/share/icons/isabelle.xpm
    1.25 -  [ -f $ICON ] || cp $DISTDIR/lib/logo/isabelle-tiny.xpm $ICON || fail "Cannot write file: $ICON"
    1.26 +  [ -f $ICON ] || cp $ISABELLE_HOME/lib/logo/isabelle-tiny.xpm $ICON || fail "Cannot write file: $ICON"
    1.27  
    1.28    echo "installing $KDEAPP"
    1.29    echo "# KDE Config File" >$KDEAPP || fail "Cannot write file: $KDEAPP"