[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-30-g4139464

[Ralf Treinen]

The following commit has been merged in the master branch:
commit a718c5656d875936803721c4a9d90ce7006c39ee
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Feb 7 18:38:50 2012 +0100

    drop patch make-manpages which has been integrated by upstream

diff --git a/debian/patches/make-manpages b/debian/patches/make-manpages
deleted file mode 100644
index f101a28..0000000
--- a/debian/patches/make-manpages
+++ /dev/null
@@ -1,16 +0,0 @@
-Author: Ralf Treinen <treinen at debian.org>
-Description: generate manpages as "EDOS Tools" instead of Perl stuff
-
-Index: dose3/Makefile
-===================================================================
---- dose3.orig/Makefile	2012-02-07 10:45:07.000000000 +0100
-+++ dose3/Makefile	2012-02-07 15:21:33.000000000 +0100
-@@ -103,7 +103,7 @@
- 	cp doc/manpages/*.html dose3.docdir/manpages
- 
- doc/manpages/%.1: doc/manpages/%.pod
--	pod2man --section 1 --release "$(NAME) $(VERSION)" doc/manpages/$*.pod > $@
-+	pod2man --section 1 --center="EDOS Tools" --release "$(NAME) $(VERSION)" doc/manpages/$*.pod > $@
- 
- doc/manpages/%.html: doc/manpages/%.pod
- 	pod2html doc/manpages/$*.pod > $@
diff --git a/debian/patches/series b/debian/patches/series
index dd3b9e1..9dceec7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1 @@
-make-manpages
 binaries-prefix-edos

-- 
dose3 packaging