diff options
Diffstat (limited to 'pkgs/applications/science/logic/matita/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/matita/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/matita/default.nix b/pkgs/applications/science/logic/matita/default.nix index 92e9479d9a44..0713ff09e929 100644 --- a/pkgs/applications/science/logic/matita/default.nix +++ b/pkgs/applications/science/logic/matita/default.nix @@ -41,7 +41,7 @@ stdenv.mkDerivation { ''; postInstall = '' - ensureDir $out/bin + mkdir -p $out/bin ln -vs $RTDIR/matita $RTDIR/matitac $RTDIR/matitaclean $RTDIR/matitadep $RTDIR/matitawiki $out/bin ''; |