[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.3.rc1+dfsg-1-12-ga361346

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit a361346aaab3805ecbed297b005ef31fd6dbfe34
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Oct 31 10:59:15 2010 +0100

    Add debian/source/local-options

diff --git a/.gitignore b/.gitignore
index 16d011c..7532499 100644
--- a/.gitignore
+++ b/.gitignore
@@ -102,3 +102,4 @@ _build
 plugins/*/*_mod.ml
 myocamlbuild_config.ml
 .DS_Store
+.pc
diff --git a/debian/gbp.conf b/debian/gbp.conf
index a469c3a..dfa07a0 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -1,5 +1,4 @@
 [DEFAULT]
 pristine-tar = True
-cleaner = debuild clean && dh_quilt_unpatch && dh_clean
 upstream-branch = experimental/upstream
 debian-branch = experimental/master
diff --git a/debian/source/local-options b/debian/source/local-options
new file mode 100644
index 0000000..c4cf480
--- /dev/null
+++ b/debian/source/local-options
@@ -0,0 +1,2 @@
+abort-on-upstream-changes
+unapply-patches

-- 
coq packaging