summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--isabat.nix3
1 files changed, 2 insertions, 1 deletions
diff --git a/isabat.nix b/isabat.nix
index de6ce6f..8d00447 100644
--- a/isabat.nix
+++ b/isabat.nix
@@ -19,6 +19,7 @@ stdenv.mkDerivation {
--replace isabelle2unicode "${isabelle-unicode}/bin/isabelle2unicode"
substituteInPlace isabat \
--replace " bat " " ${pkgs.bat}/bin/bat "
- cp isabat $out
+ mkdir -p $out/bin
+ cp isabat $out/bin
'';
}