[Pkg-ocaml-maint-commits] [SCM] eliom packaging branch, master, updated. debian/2.1.0-1-9-g8845f0b

[Pierre Chambart]

The following commit has been merged in the master branch:
commit 0e2af70486a3317ac5c0b697847081311d097d93
Author: Pierre Chambart <chambart at crans.org>
Date:   Tue Mar 27 15:29:07 2012 +0200

    build ocamldoc manpages with the 3o section

diff --git a/debian/patches/0002-build-ocamldoc-manpages-with-the-3o-section.patch b/debian/patches/0002-build-ocamldoc-manpages-with-the-3o-section.patch
new file mode 100644
index 0000000..8eae8dd
--- /dev/null
+++ b/debian/patches/0002-build-ocamldoc-manpages-with-the-3o-section.patch
@@ -0,0 +1,42 @@
+From: Pierre Chambart <chambart at crans.org>
+Date: Tue, 27 Mar 2012 15:28:30 +0200
+Subject: build ocamldoc manpages with the 3o section
+
+---
+ doc/client/Makefile |    3 ++-
+ doc/server/Makefile |    3 ++-
+ 2 files changed, 4 insertions(+), 2 deletions(-)
+ mode change 100644 => 100755 configure
+
+diff --git a/configure b/configure
+old mode 100644
+new mode 100755
+diff --git a/doc/client/Makefile b/doc/client/Makefile
+index 39d8139..00c1166 100644
+--- a/doc/client/Makefile
++++ b/doc/client/Makefile
+@@ -17,7 +17,8 @@ api-html/index.html: indexdoc ${ODOC}
+ 
+ api-man/Eliom_pervasives.client.3o: ${ODOC}
+ 	mkdir -p api-man
+-	$(OCAMLDOC) ${LIBS} -d api-man -man-mini $(addprefix -load ,${ODOC}) -man -man-suffix client.3o
++	$(OCAMLDOC) ${LIBS} -d api-man -man-mini $(addprefix -load ,${ODOC}) -man \
++	  -man-section 3o -man-suffix client.3o
+ 
+ api-wiki/index.wiki: indexdoc ${ODOC}
+ 	mkdir -p api-wiki
+diff --git a/doc/server/Makefile b/doc/server/Makefile
+index 13d1d5f..9007138 100644
+--- a/doc/server/Makefile
++++ b/doc/server/Makefile
+@@ -17,7 +17,8 @@ api-html/index.html: indexdoc ${ODOC}
+ 
+ api-man/Eliom_pervasives.server.3o: ${ODOC}
+ 	mkdir -p api-man
+-	$(OCAMLDOC) ${LIBS} -d api-man -man-mini $(addprefix -load ,${ODOC}) -man -man-suffix server.3o
++	$(OCAMLDOC) ${LIBS} -d api-man -man-mini $(addprefix -load ,${ODOC}) -man \
++	  -man-section 3o -man-suffix server.3o
+ 
+ api-wiki/index.wiki: indexdoc ${ODOC}
+ 	mkdir -p api-wiki
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 8f6e208..e8a3571 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-Fix-escaping-of-minus-signs-in-eliomc.1.patch
+0002-build-ocamldoc-manpages-with-the-3o-section.patch

-- 
eliom packaging