[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/0.1.7.deb-3-8-g5ea07e4

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 0660eac383e287c3a4d75fcd6bec2e75d00064a7
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon May 11 01:59:56 2009 +0200

    Don't build documentation

diff --git a/debian/changelog b/debian/changelog
index 04c3e16..73dfa75 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,9 @@ coccinelle (0.1.8.deb-1) unstable; urgency=low
     - remove docs/manual directory (GFDL)
   * New patch:
     - fixes/documentation-build 
+  * Don't build documentation
 
- -- Євгеній Мещеряков <eugen at debian.org>  Mon, 11 May 2009 01:51:59 +0200
+ -- Євгеній Мещеряков <eugen at debian.org>  Mon, 11 May 2009 01:59:31 +0200
 
 coccinelle (0.1.7.deb-3) unstable; urgency=high
 
diff --git a/debian/rules b/debian/rules
index 83f8d6b..b331716 100755
--- a/debian/rules
+++ b/debian/rules
@@ -45,10 +45,6 @@ build-stamp: my-very-own-patch-stamp
 	./configure $(CONFIG_FLAGS)
 	$(MAKE) $(COCCI_FLAGS) depend
 	$(MAKE) $(COCCI_FLAGS) $(MAKE_TGT)
-	cd docs/grammar && $(MAKE)
-	cd docs && pdflatex options.tex
-	cd docs && pdflatex options.tex
-	cd docs && pdflatex options.tex
 	dh build --after dh_auto_test
 	touch build-stamp
 
@@ -56,8 +52,6 @@ build-stamp: my-very-own-patch-stamp
 unpatch: patched-clean
 patched-clean: patch
 	$(MAKE) distclean
-	$(MAKE) -C docs/grammar distclean
-	rm -f docs/*.pdf docs/*.log docs/*.aux docs/*.out
 
 clean: unpatch
 	dh clean --before dh_auto_clean

-- 
Debian packaging for coccinelle