From 1d628357fa2c4ccf4c6a8d9e0d02c7f8de4f15fe Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Fri, 16 Jul 2004 19:26:37 +0000 Subject: Minor changes. --- debian/coq-libs.install | 1 - debian/rules | 9 ++++----- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/debian/coq-libs.install b/debian/coq-libs.install index 22e69d53..a2671191 100644 --- a/debian/coq-libs.install +++ b/debian/coq-libs.install @@ -1,4 +1,3 @@ usr/lib/coq/contrib usr/lib/coq/states usr/lib/coq/theories - diff --git a/debian/rules b/debian/rules index b9552a69..a2ae494e 100755 --- a/debian/rules +++ b/debian/rules @@ -63,13 +63,12 @@ install: build dh_installdirs $(MAKE) $(ADDPREF) install || $(MAKE) BEST=byte $(ADDPREF) install - -strip -R .note -R .comment $(COQPREF)/usr/bin/coqtop.opt - -strip -R .note -R .comment $(COQPREF)/usr/bin/coqide.opt - -strip -R .note -R .comment $(COQPREF)/usr/bin/coq-interface.opt -# -strip -R .note -R .comment $(COQPREF)/usr/bin/parser.opt + + for i in $(COQPREF); 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 - dh_install --sourcedir=$(COQPREF) + + dh_install --sourcedir=$(COQPREF) --fail-missing binary-indep: build install -- cgit v1.2.3