[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.9.0-5-7-gb629d39

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 4e0e1febbef0352932126efa69d0262a56d4f204
Author: Ralf Treinen <treinen at 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 <treinen at 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 <treinen at 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