[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, experimental/master, updated. debian/3.0.2-3-14-g72ea5c4

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit 72ea5c4db969f4ed542adb0209c7f6b871b90be5
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Oct 17 13:24:51 2012 +0200

    skip generation of html versions of manpages
    
    since it was broken (tried to generate in the wrong directory)

diff --git a/debian/changelog b/debian/changelog
index 54d1568..170dc5b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,6 +15,7 @@ dose3 (3.1.2-1) UNRELEASED; urgency=low
     (closes: #687576).
   * debian/rules, debian/dose-distcheck.{docs,doc-base} the directory
     doc/debcheck-primer has been renamed to doc/debcheck.primer
+  * patch doc-makefile-html: do not generate html version of Makefiles
 
  -- Ralf Treinen <treinen at debian.org>  Tue, 16 Oct 2012 21:02:18 +0200
 
diff --git a/debian/patches/doc-makefile-html b/debian/patches/doc-makefile-html
new file mode 100644
index 0000000..9141067
--- /dev/null
+++ b/debian/patches/doc-makefile-html
@@ -0,0 +1,17 @@
+Author: Ralf Treinen
+Description: skip generation of html versions of manpages which is broken
+Upstream-bug: https://gforge.inria.fr/tracker/index.php?func=detail&aid=14983&group_id=4395&atid=13808
+
+Index: dose3/doc/manpages/Makefile
+===================================================================
+--- dose3.orig/doc/manpages/Makefile	2012-10-17 12:08:15.000000000 +0200
++++ dose3/doc/manpages/Makefile	2012-10-17 13:21:21.000000000 +0200
+@@ -14,7 +14,7 @@
+ # manpages in HTML to be generated
+ HTMLA = $(patsubst %.pod,%.html,$(PODA))
+ 
+-all: man html
++all: man
+ 
+ man: $(MANA)
+ 
diff --git a/debian/patches/series b/debian/patches/series
index 9dceec7..5c4d960 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 binaries-prefix-edos
+doc-makefile-html

-- 
dose3 packaging