Move djot binary

2025-02-21 23:27:18 -05:00 · 2025-02-21 23:27:18 -05:00 · 75a21b8da6
commit 75a21b8da6
parent fe239e287b
3 changed files with 1 additions and 1 deletions
--- a/bin/Djot.ipkg
+++ b/bin/Djot.ipkg
--- 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]
--- a/bin/src/Djot.idr
+++ b/bin/src/Djot.idr