buildDunePackage: use --mandir instead of --man

This commit is contained in:
Antonio Nuno Monteiro 2023-03-28 11:07:28 -07:00 committed by GitHub
parent 49079a134f
commit 91137380e6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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
'';