[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, experimental, updated. debian/1.8-1-37-gb52324d

[Ralf Treinen]

The following commit has been merged in the experimental branch:
commit e05896403cc65868328549a714cbbd7f83c31aa9
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Mar 15 22:12:14 2010 +0100

    now really create the patch

diff --git a/debian/patches/examples-no-check b/debian/patches/examples-no-check
new file mode 100644
index 0000000..2d3bf9c
--- /dev/null
+++ b/debian/patches/examples-no-check
@@ -0,0 +1,12 @@
+Index: advi/examples/Makefile
+===================================================================
+--- advi.orig/examples/Makefile	2010-03-15 22:11:14.000000000 +0100
++++ advi/examples/Makefile	2010-03-15 22:11:31.000000000 +0100
+@@ -56,3 +56,7 @@
+ 	for i in $(SUBDIRS); do \
+ 	 cd $$i; $(MAKE) clean; cd ..; \
+ 	done
++
++check:
++
++.phony: check
diff --git a/debian/patches/series b/debian/patches/series
index ae9439b..53dae63 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -7,4 +7,3 @@ use-ghostscript
 use-data-dir
 doc-without-htmlc
 examples-no-check
-examples/Makefile

-- 
advi packaging