# HG changeset patch
# User wenzelm
# Date 1120221717 -7200
# Node ID c12c2f411f7759fb4bbbb227f8d8a890f2ad852f
# Parent  4ecf94235ec7cbef5b2f5f2db7ce46978f549fdf
isatool install: removed KDE option;

diff -r 4ecf94235ec7 -r c12c2f411f77 INSTALL
--- a/INSTALL	Fri Jul 01 14:22:33 2005 +0200
+++ b/INSTALL	Fri Jul 01 14:41:57 2005 +0200
@@ -87,25 +87,4 @@
 /usr/local/bin).
 
 
-Isabelle as KDE application
----------------------------
-
-Users may install an Isabelle application icon on the KDE desktop as
-follows:
-
-  [ISABELLE_HOME]/bin/isatool install -k 1
-
-This will install the KDE icon in ~/.kde 
-
-  [ISABELLE_HOME]/bin/isatool install -k 2
-
-does the same, but in ~/.kde2
-
-Clicking on Isabelle will invoke the interface wrapper script (capital
-Isabelle), which is usually configured to run Proof General (cf. the
-ISABELLE_INTERFACE setting).  Additional options may be passed to
-Isabelle by editing the application's command line using the standard
-KDE properties editing facilities.
-
-
 $Id$
diff -r 4ecf94235ec7 -r c12c2f411f77 doc-src/System/misc.tex
--- a/doc-src/System/misc.tex	Fri Jul 01 14:22:33 2005 +0200
+++ b/doc-src/System/misc.tex	Fri Jul 01 14:41:57 2005 +0200
@@ -160,8 +160,6 @@
   Options are:
     -d DISTDIR   use DISTDIR as Isabelle distribution
                  (default ISABELLE_HOME)
-    -k VERSION   install KDE application icon on desktop
-                 (for KDE VERSION 1 or 2)                                       
     -p DIR       install standalone binaries in DIR
 
   Install Isabelle executables with absolute references to the current
@@ -179,10 +177,6 @@
 note that a plain manual copy of the original Isabelle executables just would
 not work!
 
-The \texttt{-k} option creates an Isabelle application object for the popular
-\textsl{K~Desktop Environment} (KDE)\index{KDE}, either for version 1 or 2.
-The icon will appear directly on the desktop.
-
 
 \section{Creating instances of the Isabelle logo --- \texttt{isatool
     logo}}
diff -r 4ecf94235ec7 -r c12c2f411f77 lib/Tools/install
--- a/lib/Tools/install	Fri Jul 01 14:22:33 2005 +0200
+++ b/lib/Tools/install	Fri Jul 01 14:41:57 2005 +0200
@@ -16,8 +16,6 @@
   echo "  Options are:"
   echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
   echo "                 (default ISABELLE_HOME)"
-  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"
@@ -40,19 +38,15 @@
 NO_OPTS=true
 
 DISTDIR="$ISABELLE_HOME"
-KDE=""
 BINDIR=""
 
-while getopts "d:k:p:" OPT
+while getopts "d:p:" OPT
 do
   NO_OPTS=""
   case "$OPT" in
     d)
       DISTDIR="$OPTARG"
       ;;
-    k)
-      KDE="$OPTARG"
-      ;;
     p)
       BINDIR="$OPTARG"
       ;;
@@ -112,42 +106,3 @@
     chmod +x "$BIN"
   done
 fi
-
-
-# install KDE 1.x / 2.x application icon
-
-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
-  mkdir -p "$KDEDESKTOP" || fail "Bad directory: $KDEDESKTOP"
-
-  KDEICONS="$KDEHOME/share/icons"
-  mkdir -p "$KDEICONS" || fail "Bad directory: $KDEICONS"
-  mkdir -p "$KDEICONS/mini" || fail "Bad directory: $KDEICONS/mini"
-
-  [ -f "$KDEICONS/isabelle.xpm" ] || cp "$ISABELLE_HOME/lib/icons/isabelle.xpm" "$KDEICONS" || \
-    fail "Cannot write file: $KDEICONS/isabelle.xpm"
-  [ -f "$KDEICONS/mini/isabelle.xpm" ] || \
-    cp "$ISABELLE_HOME/lib/icons/isabelle-mini.xpm" "$KDEICONS/mini/isabelle.xpm" || \
-    fail "Cannot write file: $KDEICONS/mini/isabelle.xpm"
-
-  echo "installing $KDEAPP"
-  echo "# KDE Config File" > "$KDEAPP" || fail "Cannot write file: $KDEAPP"
-  echo "[KDE Desktop Entry]" >> "$KDEAPP"
-  echo "Type=Application" >> "$KDEAPP"
-  echo "Exec=\"$DISTDIR/bin/isabelle-interface\" %f" >> "$KDEAPP"
-  echo "Icon=isabelle.xpm" >> "$KDEAPP"
-  echo "TerminalOptions=" >> "$KDEAPP"
-  echo "Path=" >> "$KDEAPP"
-  echo "Terminal=0" >> "$KDEAPP"
-  echo "Name=Isabelle" >> "$KDEAPP"
-fi