# HG changeset patch
# User wenzelm
# Date 923999975 -7200
# Node ID 87aa3e5190e08852848186daaafab5719a60369e
# Parent  39941b906910a7e340cc41a2f69caff19f530b0c
updated isatool install;

diff -r 39941b906910 -r 87aa3e5190e0 doc-src/System/misc.tex
--- a/doc-src/System/misc.tex	Tue Apr 13 12:36:11 1999 +0200
+++ b/doc-src/System/misc.tex	Tue Apr 13 12:39:35 1999 +0200
@@ -113,37 +113,37 @@
 \texttt{ISABELLE_PATH} (and also of \texttt{ISABELLE_OUTPUT}).
 
 
-\section{Installing standalone Isabelle binaries -- \texttt{isatool install}}
+\section{Installing standalone Isabelle executables -- \texttt{isatool install}}
 
-Usually, the Isabelle binaries (\texttt{isabelle}, \texttt{isatool}
-etc.) are just run from their location within the distribution
-directory, probably indirectly by the shell through its \texttt{PATH}.
-In some cases, though, another more traditional installation scheme
-might be preferably where executables are put into some global system
-directory (like \texttt{/usr/local/bin}).
-
-Doing a plain copy of the Isabelle executables just would not work,
-though.  One should use the \tooldx{install} utility instead:
+Usually, the Isabelle binaries (\texttt{isabelle}, \texttt{isatool} etc.) are
+just run from their location within the distribution directory, probably
+indirectly by the shell through its \texttt{PATH}.  Other schemes of
+installation are supported by the \tooldx{install} utility:
 \begin{ttbox}
-Usage: install BINDIR
+Usage: install [OPTIONS]
 
   Options are:
-    -d DISTDIR   use DISTDIR as Isabelle distribution
-                 (default ISABELLE_HOME)
+    -d DISTDIR   use DISTDIR as Isabelle distribution (default ISABELLE_HOME)
+    -k           install KDE application icon on Desktop
+    -p DIR       install standalone binaries in DIR
 
-  Install standalone Isabelle binaries in directory BINDIR with absolute
-  references to DISTDIR/bin, which becomes non-relocatable this way.
+  Install Isabelle executables with absolute references to the current
+  distribution directory.
 \end{ttbox}
 
-This installs standalone executables in \texttt{BINDIR} containing
-absolute references to \texttt{DISTDIR} (the default is
-\texttt{ISABELLE_HOME} as figured out by the current \texttt{isatool}
-invocation).  While the generated scripts themselves may be relocated
-afterwards, they cease working if the referenced Isabelle distribution
-is moved somewhere else.  Here is an example use of \texttt{install}:
-\begin{ttbox}
-  isatool install /usr/local/bin
-\end{ttbox}
+The \texttt{-d} option overrides the current Isabelle distribution directory
+as determined by \texttt{ISABELLE_HOME}.
+
+The \texttt{-p} option installs executable wrapper scripts for
+\texttt{isabelle}, \texttt{isatool}, \texttt{Isabelle}, containing proper
+absolute references to the Isabelle distribution directory.  A typical
+\texttt{DIR} specification would be some directory expected to be in the
+shell's \texttt{PATH}, such as \texttt{/usr/local/bin}.  It is important to
+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 K
+desktop environment.  The icon will appear directly on Desktop.
 
 
 \section{Creating instances of the Isabelle logo -- \texttt{isatool