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.08.1-4+rpi1~3^2~9
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f112f9ec50e5e870abacda3394ae7a9e24198f65;p=ocaml.git

Put manpages in section 3o instead of 3


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

diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile
index f69b8745..374d063c 100644
--- a/ocamldoc/Makefile
+++ b/ocamldoc/Makefile
@@ -387,7 +387,7 @@ test_texi:
 stdlib_man/Pervasives.3o: $(OCAMLDOC) $(STDLIB_MLIS)
 	$(MKDIR) stdlib_man
 	$(OCAMLDOC_RUN) -man -d stdlib_man $(INCLUDES) \
-	-t "OCaml library" -man-mini $(STDLIB_MLIS)
+	-t "OCaml library" -man-mini -man-section 3o $(STDLIB_MLIS)
 
 stdlib_html/Pervasives.html: $(STDLIB_MLIS)
 	$(MKDIR) stdlib_html