Description: don't install upstream scripts 
 There are different reasons for not installing the different scripts,
 but in the end none of the upstream scripts remains.
 .
 Scripts for Isar or Lego are obviously not installed. The Coq
 distribution provides its own coqtags. 
 .
 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
@@ -187,9 +187,10 @@
 	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}
