[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/0.2.2.deb-2-19-gf3e1171

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 33e6fed09c80693961eb2aedbdd9a84dfc230216
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sat Jul 24 22:54:06 2010 +0200

    Build and install pdf docs

diff --git a/debian/changelog b/debian/changelog
index ad9262e..bfbda40 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -11,8 +11,9 @@ coccinelle (0.2.3.deb-1) unstable; urgency=low
     - syslibs-depend.diff - fix depend targets when system libraries are used
   * Override clean directories in debian/rules: upstream makefile tries to
     clean directories removed in Debian package
+  * Build and install pdf docs
 
- -- Євгеній Мещеряков <eugen at debian.org>  Sat, 24 Jul 2010 22:35:39 +0200
+ -- Євгеній Мещеряков <eugen at debian.org>  Sat, 24 Jul 2010 22:53:38 +0200
 
 coccinelle (0.2.2.deb-2) unstable; urgency=medium
 
diff --git a/debian/docs b/debian/docs
index d9919f2..287bdbf 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,3 +1,6 @@
 authors.txt
 credits.txt
 readme.txt
+docs/manual/manual.pdf
+docs/manual/main_grammar.pdf
+docs/manual/options.pdf

-- 
Debian packaging for coccinelle