Makefile | 2 1 1 - 0 !
generic/proof-site.el | 6 3 3 - 0 !
2 files changed, 4 insertions( ), 4 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 two installed provers.

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 | 4 3 1 - 0 !
1 file changed, 3 insertions( ), 1 deletion(-)

 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

etc/desktop/proofgeneral.desktop | 3 2 1 - 0 !
1 file changed, 2 insertions( ), 1 deletion(-)

 add keywords field to desktop file to make lintian happy
 and disable StartupWMClass to let gnome show the emacs icon