[Pkg-ocaml-maint-commits] [SCM] matita packaging branch, master, updated. debian/0.5.8-2-9-g932c23c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit e1aa1888bcf9f4466811a6abe0114f7ba4773372
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue May 31 11:15:41 2011 +0200

    Complete switch to 3.0 (quilt) source format

diff --git a/debian/control b/debian/control
index 939186c..8c4335d 100644
--- a/debian/control
+++ b/debian/control
@@ -20,7 +20,6 @@ Build-Depends:
  libmysql-ocaml-dev,
  camlp5 (>= 5.04),
  liblablgtksourceview2-ocaml-dev,
- dpatch,
  help2man,
  libgtkmathview-dev (>= 0.8.0-2)
 Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml
diff --git a/debian/rules b/debian/rules
index 953202e..465d9e7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -3,7 +3,6 @@
 include /usr/share/cdbs/1/class/makefile.mk
 include /usr/share/cdbs/1/class/autotools.mk
 include /usr/share/cdbs/1/rules/debhelper.mk
-include /usr/share/cdbs/1/rules/dpatch.mk
 
 DEB_CONFIGURE_EXTRA_FLAGS := \
   --with-runtime-dir=/usr/share/matita \
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
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

-- 
matita packaging