From: Stephane Glondu Date: Wed, 22 Dec 2021 07:13:56 +0000 (+0100) Subject: Restore patch putting manpages in section 3o X-Git-Tag: archive/raspbian/4.13.1-3+rpi1~2^2~18 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c19b8343d5a1ac09985742a8b999ebb636f13d8a;p=ocaml.git Restore patch putting manpages in section 3o --- diff --git a/debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch b/debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch new file mode 100644 index 00000000..af33aeab --- /dev/null +++ b/debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch @@ -0,0 +1,20 @@ +From: Julien Cristau +Date: Tue, 19 May 2009 17:24:52 +0200 +Subject: Put manpages in section 3o instead of 3 + +--- + api_docgen/ocamldoc/Makefile | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/api_docgen/ocamldoc/Makefile b/api_docgen/ocamldoc/Makefile +index 87cd9cd..fa1dbad 100644 +--- a/api_docgen/ocamldoc/Makefile ++++ b/api_docgen/ocamldoc/Makefile +@@ -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)) + diff --git a/debian/patches/series b/debian/patches/series index 599d5b6e..2924ded5 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -4,3 +4,4 @@ 0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch 0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch 0006-Do-not-error-on-warnings-in-autoconf.patch +0007-Put-manpages-in-section-3o-instead-of-3.patch