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>
Sun, 12 Feb 2023 10:46:40 +0000 (11:46 +0100)
Gbp-Pq: Name 0007-Put-manpages-in-section-3o-instead-of-3.patch

api_docgen/ocamldoc/Makefile

index 87cd9cdb855be6500dee90df842a1bb0120f770e..fa1dbada241db30e6a06eef7e35cb2a67fda3e68 100644 (file)
@@ -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))