From e39cc06b80ae58c0d975df9e94dd1ade7d6a815a Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Fri, 16 Jul 2004 20:41:11 +0000 Subject: We don't want --fail-missing --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/rules') diff --git a/debian/rules b/debian/rules index c13d36a4..7703245f 100755 --- a/debian/rules +++ b/debian/rules @@ -68,7 +68,7 @@ install: build 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) --fail-missing + dh_install --sourcedir=$(COQPREF) binary-indep: build install -- cgit v1.2.3