isabat: move into /bin dir in package

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