Makefile | 4 2 + 2 - 0 !
generic/proof-site.el | 18 13 + 5 - 0 !
2 files changed, 15 insertions(+), 7 deletions(-)

 restrict the installed provers to coq only
 IMHO it does not make sense to install provers that are incomplete,
 obsolete or broken or that had their last release in 1998. It does
 not make sense to install Isar or Isabelle, because Isabelle is
 always distributed with its own copy of Proof General. This leaves us
 with just one installed prover.

Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 don't install contrib/mmm
 mmm-mode is available as package and added to the dependencies

Makefile | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 use proofgeneral as subdir in various install directories

Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 don't put elc files into the package

Makefile | 5 3 + 2 - 0 !
1 file changed, 3 insertions(+), 2 deletions(-)

 don't install upstream scripts 

Makefile | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 use a debian specific emacs site init file

Makefile | 16 15 + 1 - 0 !
doc/Makefile | 1 0 + 1 - 0 !
doc/ProofGeneral.texi | 6 6 + 0 - 0 !
3 files changed, 21 insertions(+), 2 deletions(-)

 install the user manual
 This patch builds the info, html and pdf version of the user manual
 with some Debian specific changes. They are also moved/renamed to fit
 Debian's conventions. The PG-adapting manual is not included in any
 package.

Makefile | 5 4 + 1 - 0 !
1 file changed, 4 insertions(+), 1 deletion(-)

 install example files in /usr/share/doc

coq/coq.el | 23 22 + 1 - 0 !
1 file changed, 22 insertions(+), 1 deletion(-)

 switch off prooftree support, reenable for coq >= 8.4beta

doc/Makefile.doc | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 use makeinfo, instead of obsolete texi2html