summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/control2
-rw-r--r--debian/coq.install9
-rw-r--r--debian/coqide.install1
-rwxr-xr-xdebian/rules6
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