1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
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}
|
