diff -r 5b97a468b46d -r b70c3c1b499f lib/Tools/install
--- a/lib/Tools/install	Wed Feb 14 23:17:53 2001 +0100
+++ b/lib/Tools/install	Wed Feb 14 23:18:47 2001 +0100
@@ -17,7 +17,8 @@
   echo "  Options are:"
   echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
   echo "                 (default ISABELLE_HOME)"
-  echo "    -k           install KDE application icon on Desktop"
+  echo "    -k VERSION   install KDE application icon on desktop"
+  echo "                 (for KDE VERSION 1 or 2)"
   echo "    -p DIR       install standalone binaries in DIR"
   echo
   echo "  Install Isabelle executables with absolute references to the current"
@@ -43,7 +44,7 @@
 KDE=""
 BINDIR=""
 
-while getopts "d:kp:" OPT
+while getopts "d:k:p:" OPT
 do
   case "$OPT" in
     d)
@@ -51,7 +52,7 @@
       NO_OPTS=""
       ;;
     k)
-      KDE=true
+      KDE="$OPTARG"
       NO_OPTS=""
       ;;
     p)
@@ -107,13 +108,22 @@
 fi
 
 
-# install KDE application icon
+# install KDE 1.x / 2.x application icon
 
-KDEHOME=~/.kde
-KDEAPP=~/Desktop/Isabelle.kdelnk
-KDEICONS="$KDEHOME/share/icons"
+if [ -n "$KDE" ]; then
+  if [ "$KDE" = 1 ]; then
+    KDEHOME=~/.kde
+    KDEDESKTOP=~/Desktop
+    KDEAPP="$KDEDESKTOP/Isabelle.kdelnk"
+  elif [ "$KDE" = 2 ]; then
+    KDEHOME=~/.kde2
+    KDEDESKTOP=~/KDesktop
+    KDEAPP="$KDEDESKTOP/Isabelle.desktop"
+  else
+    fail "Unknown KDE version \"$KDE\""
+  fi
 
-if [ "$KDE" = true ]; then
+  KDEICONS="$KDEHOME/share/icons"
   mkdir -p "$KDEICONS" || fail "Bad directory: $KDEICONS"
   mkdir -p "$KDEICONS/mini" || fail "Bad directory: $KDEICONS/mini"
 
@@ -133,7 +143,4 @@
   echo "Path=" >> "$KDEAPP"
   echo "Terminal=0" >> "$KDEAPP"
   echo "Name=Isabelle" >> "$KDEAPP"
-
-  echo
-  echo "Please refresh your KDE desktop now!"
 fi