From 75a21b8da69067ea88c021ea210320631d9f5ede Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Fri, 21 Feb 2025 23:27:18 -0500
Subject: [PATCH] Move djot binary

---
 bin/Djot.ipkg => Djot.ipkg | 0
 pack.toml                  | 2 +-
 {bin/src => src}/Djot.idr  | 0
 3 files changed, 1 insertion(+), 1 deletion(-)
 rename bin/Djot.ipkg => Djot.ipkg (100%)
 rename {bin/src => src}/Djot.idr (100%)

diff --git a/bin/Djot.ipkg b/Djot.ipkg
similarity index 100%
rename from bin/Djot.ipkg
rename to Djot.ipkg
diff --git a/pack.toml b/pack.toml
index 303ca46..4a7cd19 100644
--- a/pack.toml
+++ b/pack.toml
@@ -6,7 +6,7 @@ test = "test/test.ipkg"
 
 [custom.all.Djot]
 type = "local"
-path = "bin"
+path = "."
 ipkg = "Djot.ipkg"
 
 [custom.all.SSG-test]
diff --git a/bin/src/Djot.idr b/src/Djot.idr
similarity index 100%
rename from bin/src/Djot.idr
rename to src/Djot.idr