From 87d0789ec9533e2efc5513d5a50d3a4e3d641d82 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Fri, 16 Jul 2004 21:10:33 +0000 Subject: Corrected a few problems. --- debian/control | 2 +- debian/coq.install | 9 +-------- debian/coqide.install | 1 - 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 -- cgit v1.2.3