# HG changeset patch
# User wenzelm
# Date 924614623 -7200
# Node ID 1d13a86bfa6cc371233d36c2e8584145668caa7a
# Parent  13c779aec65a234e1525abfe3f0090f46ccdf025
fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;

diff -r 13c779aec65a -r 1d13a86bfa6c lib/Tools/install
--- a/lib/Tools/install	Tue Apr 20 15:20:27 1999 +0200
+++ b/lib/Tools/install	Tue Apr 20 15:23:43 1999 +0200
@@ -13,7 +13,7 @@
   echo "Usage: $PRG [OPTIONS]"
   echo
   echo "  Options are:"
-  echo "    -d DISTDIR   use DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
+  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
   echo "    -k           install KDE application icon on Desktop"
   echo "    -p DIR       install standalone binaries in DIR"
   echo
@@ -71,7 +71,7 @@
 
 ## main
 
-echo "distribution at $DISTDIR"
+echo "referring to distribution at $DISTDIR"
 
 
 # standalone binaries
@@ -104,7 +104,7 @@
   mkdir -p $KDEHOME/share/icons || fail "Bad directory: $KDEHOME/share/icons"
 
   ICON=$KDEHOME/share/icons/isabelle.xpm
-  [ -f $ICON ] || cp $DISTDIR/lib/logo/isabelle-tiny.xpm $ICON || fail "Cannot write file: $ICON"
+  [ -f $ICON ] || cp $ISABELLE_HOME/lib/logo/isabelle-tiny.xpm $ICON || fail "Cannot write file: $ICON"
 
   echo "installing $KDEAPP"
   echo "# KDE Config File" >$KDEAPP || fail "Cannot write file: $KDEAPP"