[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 d365225a70b37cb9c093e1c53df0875bddfc12f7
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sat Jul 24 22:42:49 2010 +0200

    Fix documentation build on native architectures

diff --git a/debian/rules b/debian/rules
index ec8351d..74a568b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -28,6 +28,8 @@ override_dh_auto_configure:
 
 override_dh_auto_build:
 	$(MAKE) $(COCCI_FLAGS) depend
+	# make all.opt does not build documentation
+	$(MAKE) $(COCCI_FLAGS) -C docs all
 	$(MAKE) $(COCCI_FLAGS) $(MAKE_TGT)
 
 override_dh_auto_test:

-- 
Debian packaging for coccinelle