[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-4-1-g117063d

[Mehdi Dogguy]

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

    gbp.conf

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

-- 
why packaging