Move manpage to share/man/man1 in Linux tarball

dhall-lang · Nov 23, 2023 · 0be42ff · 0be42ff
1 parent 53585c9
commit 0be42ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix/shared.nix b/nix/shared.nix
@@ -378,7 +378,7 @@ let
         releaseName=${name}
         ${pkgsStaticLinux.coreutils}/bin/install --target-directory "$TMPDIR/inst/bin" -D $src/bin/*
         ${pkgs.lib.optionalString (manDir != null) ''
-          ${pkgsStaticLinux.coreutils}/bin/install --target-directory "$TMPDIR/inst/share/man" -D ${manDir}/*
+          ${pkgsStaticLinux.coreutils}/bin/install --target-directory "$TMPDIR/inst/share/man/man1" -D ${manDir}/*.1
         ''}
       '';
     };