devbranch for deployment

JuliaManifolds · Sep 23, 2024 · 4087cdb · 4087cdb
1 parent 109a59d
commit 4087cdb
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -94,4 +94,8 @@ makedocs(;
     ],
     plugins=[bib],
 )
-deploydocs(; repo="github.com/JuliaManifolds/ManifoldExamples.jl", push_preview=true)
+deploydocs(;
+    repo="github.com/JuliaManifolds/ManifoldExamples.jl",
+    push_preview=true,
+    devbranch="main",
+)