From efd5f75c0672773341b5ca1c1d4b2ad0c0d09daa Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 18:23:04 +0100
Subject: Initial version

---
 doc/pack.toml | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/pack.toml

(limited to 'doc/pack.toml')

diff --git a/doc/pack.toml b/doc/pack.toml
new file mode 100644
index 0000000..d555f03
--- /dev/null
+++ b/doc/pack.toml
@@ -0,0 +1,4 @@
+[doc.setoid]
+type = "local"
+path = ".."
+ipkg = "setoid.ipkg"
-- 
cgit v1.2.3