Deploy docs to github

SECQUOIA · Dec 20, 2024 · 5934246 · 5934246
1 parent 5d53220
commit 5934246
Showing 1 changed file with 11 additions and 5 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -2,14 +2,20 @@ using Documenter
 using TenSolver
 
 makedocs(
-    sitename = "TenSolver",
-    format = Documenter.HTML(),
+    sitename = "TenSolver.jl",
+    format = Documenter.HTML(
+      mathengine = Documenter.KaTeX(),
+    ),
     modules = [TenSolver]
 )
 
 # Documenter can also automatically deploy documentation to gh-pages.
 # See "Hosting Documentation" and deploydocs() in the Documenter manual
 # for more information.
-#=deploydocs(
-    repo = "<repository url>"
-)=#
+# Deploy site to Github Pages
+if !("local" in ARGS)
+    deploydocs(
+        repo = "github.com/SECQUOIA/TenSolver.jl.git"
+    )
+end
+