From 86ab660002443f940abc392cf4beab5172568887 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 4 Sep 2021 16:34:20 +0200
Subject: isabat: move into /bin dir in package

---
 isabat.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
   '';
 }
-- 
cgit v1.2.3