From: Julien Cristau Date: Tue, 19 May 2009 15:24:52 +0000 (+0200) Subject: Put manpages in section 3o instead of 3 X-Git-Tag: archive/raspbian/5.3.0-2+rpi1^2~7 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=94470bd221dd1ca660fd500a241176a559cade02;p=ocaml.git Put manpages in section 3o instead of 3 Gbp-Pq: Name 0001-Put-manpages-in-section-3o-instead-of-3.patch --- diff --git a/api_docgen/ocamldoc/Makefile b/api_docgen/ocamldoc/Makefile index 5b1f8946..71f5a705 100644 --- a/api_docgen/ocamldoc/Makefile +++ b/api_docgen/ocamldoc/Makefile @@ -61,6 +61,7 @@ build/libref/%.odoc: build/%.mld | build/libref ALL_COMPILED_DOC=$(ALL_DOC:%=build/%.odoc) build/man/Stdlib.3o: $(ALL_COMPILED_DOC) | build/man $(V_OCAMLDOC)$(OCAMLDOC_RUN) -man -d build/man -man-mini \ + -man-section 3o \ -nostdlib -hide Stdlib -lib Stdlib -t "OCaml library" \ $(addprefix -load , $(ALL_COMPILED_DOC))