Description: don't install upstream scripts 
 There are different reasons for not installing the different scripts,
 but in the end only coqtags remains.
 .
 Scripts for Isar or Lego are obviously not installed.
 .
 The proofgeneral starting script is replaced with our own simplified
 version, which is the only script installed.

Author: Hendrik Tews <hendrik@askra.de>
--- a/Makefile
+++ b/Makefile
@@ -55,7 +55,7 @@
 PG_SCRIPTS = bin/proofgeneral
 
 # Scripts to install to bin directory
-BIN_SCRIPTS = bin/proofgeneral lego/legotags coq/coqtags isar/isartags
+BIN_SCRIPTS = coq/coqtags
 
 # Setting load path might be better in Elisp, but seems tricky to do
 # only during compilation.  Another idea: put a function in proof-site
@@ -209,9 +209,11 @@
 	echo "(setq load-path (append load-path '(\"${DEST_ELISP}/generic\")))" >> ${ELISP_START}/pg-init.el
 	echo "(require 'proof-site)" >> ${ELISP_START}/pg-init.el
 
-install-bin: scripts
+install-bin:
 	mkdir -p ${BINDIR}
 	cp -pf ${BIN_SCRIPTS} ${BINDIR}
+	cp debian/proofgeneral-shell-script ${BINDIR}/proofgeneral
+
 
 install-doc: doc.info doc.pdf
 	mkdir -p ${MANDIR}
