From: Samuel Mimram <smimram@debian.org>
Date: Wed, 4 Jan 2006 20:17:18 +0000 (+0000)
Subject: Correct section for man pages.
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~670
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=eda027821fb9375c24cc4e7aa0eb0e7f246694ef;p=ocaml.git

Correct section for man pages.
---

diff --git a/debian/changelog b/debian/changelog
index 1179aa46..8591ef78 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,7 @@ ocaml (3.09.1-1) UNRELEASED; urgency=low
   * Removing possibly leftover /usr/lib/ocaml/ld.conf, closes: #300846.
   * Updated objinfo.dpatch.
   * Added dumpobj.dpatch to install ocamldumpobj.
+  * Added manpages_section.dpatch to correct the section for man pages.
   * Added a rule in rules to generate (manually) ocaml-source.files and
     updated ocaml-source.files.
   * Added a watch file.
diff --git a/debian/patches/00list b/debian/patches/00list
index 04b4ec79..1e6c05ad 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,4 +1,5 @@
 versioned_libdir
+manpages_section
 objinfo
 dumpobj
 man-ocamlmklib
diff --git a/debian/patches/manpages_section.dpatch b/debian/patches/manpages_section.dpatch
new file mode 100755
index 00000000..9ca91f70
--- /dev/null
+++ b/debian/patches/manpages_section.dpatch
@@ -0,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## manpages_section.dpatch by Samuel Mimram <smimram@debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Correct section (3) for manpages.
+
+@DPATCH@
+diff -urNad ocaml-3.09.1~/ocamldoc/Makefile ocaml-3.09.1/ocamldoc/Makefile
+--- ocaml-3.09.1~/ocamldoc/Makefile	2005-11-10 15:44:36.000000000 +0100
++++ ocaml-3.09.1/ocamldoc/Makefile	2006-01-04 21:14:39.000000000 +0100
+@@ -313,7 +313,7 @@
+ 
+ stdlib_man/Pervasives.3o: $(STDLIB_MLIS)
+ 	$(MKDIR) stdlib_man
+-	$(OCAMLDOC_RUN) -man -d stdlib_man $(INCLUDES) \
++	$(OCAMLDOC_RUN) -man -man-section 3 -d stdlib_man $(INCLUDES) \
+ 	-t "OCaml library" -man-mini \
+ 	$(STDLIB_MLIS)
+