Merge pull request #223603 from anmonteiro/patch-5

buildDunePackage: use `--mandir` instead of `--man`
2023-03-28 15:40:33 -03:00
parent a4f8bf2248 91137380e6
commit 080bafb870
1 changed files with 1 additions and 1 deletions
@@ -32,7 +32,7 @@ stdenv.mkDerivation ({
    runHook preInstall
    dune install --prefix $out --libdir $OCAMLFIND_DESTDIR ${pname} \
     ${if lib.versionAtLeast Dune.version "2.9"
-       then "--docdir $out/share/doc --man $out/share/man"
+       then "--docdir $out/share/doc --mandir $out/share/man"
       else ""}
    runHook postInstall
  '';