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