Put manpages in section 3o instead of 3
authorJulien Cristau <julien.cristau@ens-lyon.org>
Tue, 19 May 2009 15:24:52 +0000 (17:24 +0200)
committerStéphane Glondu <glondu@debian.org>
Wed, 20 Sep 2023 07:59:40 +0000 (09:59 +0200)
Gbp-Pq: Name 0007-Put-manpages-in-section-3o-instead-of-3.patch

api_docgen/ocamldoc/Makefile

index 6af89ab49e2c9ae0e07eb6346eec29a55b6b2f90..d4f84ae1a620ded58942d22189954e96a94fc83b 100644 (file)
@@ -62,6 +62,7 @@ build/libref/%.odoc: build/%.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))