make erct public

jonsterling · Dec 31, 2023 · 12f8dc5 · 12f8dc5
1 parent a5de689
commit 12f8dc5
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -7,3 +7,6 @@
 [submodule "trees/public"]
 	path = trees/public
 	url = https://git.sr.ht/~jonsterling/public-trees
+[submodule "erct"]
+	path = erct
+	url = git@git.sr.ht:~jonsterling/elements-of-relative-category-theory
diff --git a/build.sh b/build.sh
@@ -1,4 +1,3 @@
 #!/bin/bash
 
-opam exec -- forester build --dev --base-url https://www.jonmsterling.com --root jms-0001 trees/
-# /Users/jon/Source/ocaml-forester/_build/default/bin/forester/main.exe build --dev --root=jms-0001 --base-url="https://www.jonmsterling.com" trees
+opam exec -- forester build --dev --base-url https://www.jonmsterling.com --root jms-0001 trees erct/trees
diff --git a/erct b/erct