# 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