From 7c9acaaecd06f9350b94b04b74106cd0a5f5de55 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 1 Jun 2010 13:41:15 +0200 Subject: Switch source package format to 3.0 (quilt) --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/rules') diff --git a/debian/rules b/debian/rules index 4f907015..997f99fe 100755 --- a/debian/rules +++ b/debian/rules @@ -35,7 +35,7 @@ export OCAMLINIT_SED += \ -e 's%@CoqVersion@%$(COQ_VERSION)%' \ -e 's%@CoqABI@%$(COQ_ABI)%' -DH := dh --with quilt,ocaml +DH := dh --with ocaml configure: configure-stamp configure-stamp: -- cgit v1.2.3