[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-15-g9603746

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 500458bebd552145aa1a5eaa1a45fb3010680350
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 20 14:42:47 2009 +0100

    Remove dependency on dpatch

diff --git a/debian/control b/debian/control
index 1f0ec10..805d587 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,6 @@ Standards-Version: 3.8.0
 Build-Depends:
  debhelper (>= 7),
  dpkg-dev (>= 1.13.19),
- dpatch,
  dh-ocaml (>= 0.2),
  ocaml-nox,
  ocaml-best-compilers,
diff --git a/debian/patches/00list b/debian/patches/00list
deleted file mode 100644
index e69de29..0000000
diff --git a/debian/rules b/debian/rules
index 2943187..014134a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -14,8 +14,6 @@ export CAML_LD_LIBRARY_PATH = $(shell pwd)/kernel/byterun
 # Show full commands when building Coq
 export VERBOSE=1
 
-# We want to use dpatch
-include /usr/share/dpatch/dpatch.make
 include /usr/share/ocaml/ocamlinit.mk
 
 HTMLDOC := doc/stdlib/html/index.html
@@ -38,7 +36,7 @@ OCAMLINIT_SED += \
   -e 's%@CoqABI@%$(COQ_ABI)%'
 
 configure: configure-stamp
-configure-stamp: patch-stamp ocamlinit-stamp
+configure-stamp: ocamlinit-stamp
 	dh build --before dh_auto_configure
 	./configure $(CONFIGUREOPTS)
 	touch $@
@@ -77,7 +75,7 @@ install-stamp: build-stamp
 	done
 	touch $@
 
-clean: unpatch ocamlinit-clean
+clean: ocamlinit-clean
 	dh $@
 
 binary-indep: install-stamp

-- 
coq packaging