Clone locally and ignore that directory, for speed when building locally

asinghvi17 · asinghvi17 · commit 7d70d876df9b · 2025-02-20T11:39:50.000-05:00
diff --git a/.gitignore b/.gitignore
@@ -2,6 +2,7 @@
 *.jl.cov
 *.jl.mem
 /docs/build/
+/docs/cloned/
 /docs/src/modules
 Manifest.toml
 *.swp
diff --git a/docs/make_aggregate.jl b/docs/make_aggregate.jl
@@ -3,6 +3,8 @@ using MultiDocumenter
 
 clonedir = mktempdir()
 
+clonedir = joinpath(@__DIR__, "cloned")
+
 # Ordering Matters!
 docsmodules = [
     "Modeling" => [
