The following commit has been merged in the master branch:
commit 4e0e1febbef0352932126efa69d0262a56d4f204
Author: Ralf Treinen <trei...@free.fr>
Date: Tue Aug 2 19:24:48 2011 +0200
document patch dont-make-doc
diff --git a/debian/changelog b/debian/changelog
index 57e42d2..3adc972 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,7 @@ advi (1.10.0-1) unstable; urgency=low
- drop patch camlimages-4.0.1 since now integrated by upstream
* We don't need to override dh_strip anymore since the -custom option
is no longer used.
+ * Patch dont-make-doc: do not atempt to $(MAKE) doc.
-- Ralf Treinen <trei...@debian.org> Tue, 02 Aug 2011 19:11:34 +0200
diff --git a/debian/patches/dont-make-doc b/debian/patches/dont-make-doc
index bdec894..885281a 100644
--- a/debian/patches/dont-make-doc
+++ b/debian/patches/dont-make-doc
@@ -1,3 +1,6 @@
+Author: Ralf Treinen <trei...@debian.org>
+Description: do not attempt to make doc
+
Index: advi/Makefile.in
===================================================================
--- advi.orig/Makefile.in 2011-08-02 19:07:02.000000000 +0200
--
advi packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
