[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20090204.dfsg-2-4-gc2caf4c

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c2caf4c5b0936da4a3b72be1fd2e3b4605907247
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Jun 4 23:31:41 2009 +0200

    Update gbp.conf

diff --git a/debian/gbp.conf b/debian/gbp.conf
index cec628c..f0bccaf 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -1,2 +1,5 @@
 [DEFAULT]
 pristine-tar = True
+filter = [
+    "manual.pdf"
+    ]

-- 
menhir packaging