Restore patch putting manpages in section 3o

diff --git a/debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch b/debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch
new file mode 100644 (file)
index 0000000..af33aea
--- /dev/null
+++ b/debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch
@@ -0,0 +1,20 @@
+From: Julien Cristau <julien.cristau@ens-lyon.org>
+Date: Tue, 19 May 2009 17:24:52 +0200
+Subject: Put manpages in section 3o instead of 3
+
+---
+ api_docgen/ocamldoc/Makefile | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/api_docgen/ocamldoc/Makefile b/api_docgen/ocamldoc/Makefile
+index 87cd9cd..fa1dbad 100644
+--- a/api_docgen/ocamldoc/Makefile
++++ b/api_docgen/ocamldoc/Makefile
+@@ -60,6 +60,7 @@ build/libref/%.odoc: $(DOCGEN)/%.mld | build/libref
+ ALL_COMPILED_DOC=$(ALL_DOC:%=build/%.odoc)
+ build/man/Stdlib.3o: $(ALL_COMPILED_DOC) | build/man
+       $(OCAMLDOC_RUN) -man -d build/man -man-mini \
++      -man-section 3o \
+       -nostdlib -hide Stdlib -lib Stdlib -t "OCaml library" \
+       $(addprefix -load , $(ALL_COMPILED_DOC))
+ 

diff --git a/debian/patches/series b/debian/patches/series
index 599d5b6e724f9d53eb45fc4ea8c733ba62ccea32..2924ded559c6fcdee866866578adfb7f77f84a30 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
 0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
 0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch
 0006-Do-not-error-on-warnings-in-autoconf.patch
+0007-Put-manpages-in-section-3o-instead-of-3.patch