The following commit has been merged in the master branch:
commit e2f36af8115df61bb583299cbd506cae046cfad3
Author: Mehdi Dogguy <me...@debian.org>
Date:   Sat Apr 6 12:15:23 2013 +0200

    Add a debian/gbp.conf file

diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 0000000..89c739e
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +1,9 @@
+[DEFAULT]
+pristine-tar = True
+filter-pristine-tar = True
+filter = [
+    "doc/html",
+    "doc/tutorials",
+    "src_ext",
+    "ocp-build"
+    ]

-- 
opam packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to