
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}}




