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>
Forwarded: not-needed

--- proofgeneral.orig/Makefile
+++ proofgeneral/Makefile
@@ -244,9 +244,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}
