Corrected a few problems.

4 files changed, 6 insertions, 12 deletions

diff --git a/debian/control b/debian/control
index bddc2fdb..f9e0e8b3 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Build-Depends: debhelper (>= 4.0.0), ocaml-3.07, ocaml-best-compilers, liblablgt
 Package: coq
 Architecture: any
 Depends: ${shlibs:Depends}, coq-libs
-Suggests: coq-doc, ocaml-3.07, proofgeneral-coq, ledit, cle
+Suggests: ocaml-3.07, proofgeneral-coq, ledit, cle
 Recommends: coq-doc, coqide | proofgeneral-coq
 Description: Proof assistant for higher-order logic
  Coq is a proof assistant for higher-order logic, which allows the
diff --git a/debian/coq.install b/debian/coq.install
index 88bea7d4..155e13af 100644
--- a/debian/coq.install
+++ b/debian/coq.install
@@ -9,13 +9,6 @@ usr/bin/coqtop*
 usr/bin/coqwc
 usr/bin/gallina
 usr/share/emacs/site-lisp/coq
-usr/share/man/man1/coqc.1
-usr/share/man/man1/coqdep.1
-usr/share/man/man1/coqdoc.1
-usr/share/man/man1/coq_makefile.1
-usr/share/man/man1/coqmktop.1
-usr/share/man/man1/coq-tex.1
-usr/share/man/man1/coqtop*
-usr/share/man/man1/coqwc.1
+usr/share/man/man1/c*
 usr/share/man/man1/gallina.1
 usr/share/texmf/tex/latex/misc/*
diff --git a/debian/coqide.install b/debian/coqide.install
index e2805eb9..f214e01c 100644
--- a/debian/coqide.install
+++ b/debian/coqide.install
@@ -2,4 +2,3 @@ usr/bin/coqide*
 usr/lib/coq/ide/coq.png
 usr/lib/coq/ide/utf8.vo
 usr/lib/coq/ide/.coqide-gtk2rc
-usr/share/man/man1/coq-interface.1
diff --git a/debian/rules b/debian/rules
index 7703245f..19396fad 100755
--- a/debian/rules
+++ b/debian/rules
@@ -65,11 +65,13 @@ install: build
 	$(MAKE) $(ADDPREF) install || $(MAKE) BEST=byte $(ADDPREF) install
 
 	for i in $(COQPREF)/usr/bin/*.opt; do strip -R .note -R .comment $$i; done
-	install debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm
-	install debian/coq.desktop debian/coqide/usr/share/applnk/Development
+	cp debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm
+	cp debian/coq.desktop debian/coqide/usr/share/applnk/Development
 
 	dh_install --sourcedir=$(COQPREF)
 
+	cp debian/coq/usr/share/man/man1/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.opt.1
+
 binary-indep: build install
 
 binary-arch: build install