[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 947e59d2c98c77f4c79a8744ca75266ba082205f
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri May 6 10:35:50 2011 +0200

    Add local-options

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-doc packaging