From: Julien Cristau <julien.cristau@ens-lyon.org>
Date: Tue, 19 May 2009 15:24:52 +0000 (+0200)
Subject: Put manpages in section 3o instead of 3
X-Git-Tag: archive/raspbian/4.13.1-3+rpi1~2^2~1
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d3c1da022d6480042b9f293322c08c9eeaf0ee57;p=ocaml.git

Put manpages in section 3o instead of 3


Gbp-Pq: Name 0007-Put-manpages-in-section-3o-instead-of-3.patch
---

diff --git a/api_docgen/ocamldoc/Makefile b/api_docgen/ocamldoc/Makefile
index 87cd9cdb..fa1dbada 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))