[packages/ocaml-dune.git] / mandir.patch

--- dune-1.5.1/src/install.ml~	2018-11-07 17:17:25.000000000 +0100
+++ dune-1.5.1/src/install.ml	2018-11-24 15:31:19.691018769 +0100
@@ -125,7 +125,7 @@
       ; share_root
       ; bin          = Path.relative destdir "bin"
       ; sbin         = Path.relative destdir "sbin"
-      ; man          = Path.relative destdir "man"
+      ; man          = Path.relative share_root "man"
       ; toplevel     = Path.relative libdir  "toplevel"
       ; stublibs     = Path.relative libdir  "stublibs"
       ; lib          = Path.relative lib_root     package
Commit	Line	Data
d5b28b2d JR	1	--- dune-1.5.1/src/install.ml~ 2018-11-07 17:17:25.000000000 +0100
	2	+++ dune-1.5.1/src/install.ml 2018-11-24 15:31:19.691018769 +0100
	3	@@ -125,7 +125,7 @@
	4	; share_root
	5	; bin = Path.relative destdir "bin"
	6	; sbin = Path.relative destdir "sbin"
	7	- ; man = Path.relative destdir "man"
	8	+ ; man = Path.relative share_root "man"
	9	; toplevel = Path.relative libdir "toplevel"
	10	; stublibs = Path.relative libdir "stublibs"
	11	; lib = Path.relative lib_root package