[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 96dfafa4fd6c06fb449f7a4bc74226a17ea31638
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Mar 15 22:08:44 2010 +0100

    restitute original version of examples/Makefile

diff --git a/debian/patches/doc-without-htmlc b/debian/patches/doc-without-htmlc
index 96ab302..c7b6da8 100644
--- a/debian/patches/doc-without-htmlc
+++ b/debian/patches/doc-without-htmlc
@@ -3,8 +3,8 @@ Description: do not call htmlc from the doc Makefile
 
 Index: advi/doc/Makefile.am
 ===================================================================
---- advi.orig/doc/Makefile.am	2010-03-15 21:19:32.000000000 +0100
-+++ advi/doc/Makefile.am	2010-03-15 21:54:49.000000000 +0100
+--- advi.orig/doc/Makefile.am	2010-03-15 22:04:56.000000000 +0100
++++ advi/doc/Makefile.am	2010-03-15 22:06:07.000000000 +0100
 @@ -169,19 +169,3 @@
  
  
@@ -27,8 +27,8 @@ Index: advi/doc/Makefile.am
 -endif
 Index: advi/doc/Makefile.in
 ===================================================================
---- advi.orig/doc/Makefile.in	2010-03-15 21:54:58.000000000 +0100
-+++ advi/doc/Makefile.in	2010-03-15 21:55:26.000000000 +0100
+--- advi.orig/doc/Makefile.in	2010-03-15 22:04:56.000000000 +0100
++++ advi/doc/Makefile.in	2010-03-15 22:06:07.000000000 +0100
 @@ -777,15 +777,6 @@
  
  $(HTMLFILES): ../configure
diff --git a/examples/Makefile b/examples/Makefile
index b457bc6..1f57242 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -56,7 +56,3 @@ clean:
 	for i in $(SUBDIRS); do \
 	 cd $$i; $(MAKE) clean; cd ..; \
 	done
-
-check:
-
-.phony: check

-- 
advi packaging