diff options
| -rw-r--r-- | debian/control | 2 | ||||
| -rw-r--r-- | debian/coq.install | 9 | ||||
| -rw-r--r-- | debian/coqide.install | 1 | ||||
| -rwxr-xr-x | debian/rules | 6 |
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 |