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>
Sat, 19 Aug 2023 03:15:41 +0000 (05:15 +0200)
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))