1 files changed, 42 insertions, 0 deletions
diff --git a/doc/setoid-doc.ipkg b/doc/setoid-doc.ipkg
new file mode 100644
index 0000000..5d183fd
--- /dev/null
+++ b/doc/setoid-doc.ipkg
@@ -0,0 +1,42 @@
+package setoid-doc
+-- version =
+authors = "Ohad Kammar"
+-- maintainers =
+-- license =
+-- brief =
+-- readme =
+-- homepage =
+-- sourceloc =
+-- bugtracker =
+
+-- the Idris2 version required (e.g. langversion >= 0.5.1)
+-- langversion
+
+-- packages to add to search path
+-- depends =
+
+modules
+  = Tutorial
+
+-- name of executable
+sourcedir = "sources"
+builddir = "build"
+outputdir = "build"
+
+-- script to run before building
+-- prebuild =
+
+-- script to run after building
+-- postbuild =
+
+-- script to run after building, before installing
+-- preinstall =
+
+-- script to run after installing
+-- postinstall =
+
+-- script to run before cleaning
+-- preclean =
+
+-- script to run after cleaning
+-- postclean =