mandir.patch

   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