diff --git a/docs/make.jl b/docs/make.jl index e3bf450..ee038a8 100755 --- 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", +)