[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 c479652dd02a76500c631ad6db5874148fdc132f
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Feb 7 15:23:40 2012 +0100

    fix footer/header line of manpages

diff --git a/debian/patches/make-manpages b/debian/patches/make-manpages
new file mode 100644
index 0000000..f101a28
--- /dev/null
+++ b/debian/patches/make-manpages
@@ -0,0 +1,16 @@
+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 9dceec7..dd3b9e1 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
+make-manpages
 binaries-prefix-edos

-- 
dose3 packaging