set devbranch main

HoBeZwe · Oct 29, 2023 · 62ae6dc · 62ae6dc
1 parent 2dfb1d2
commit 62ae6dc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -32,6 +32,7 @@ makedocs(;
 deploydocs(;
  repo="github.com/HoBeZwe/NURBS.jl",
  target="build",
+ devbranch = "main",
  push_preview=true,
  forcepush=true,
  versions=["stable" => "v^", "v#.#", "v0.5.1", "v0.5.0", "v0.4.1", "v0.4.0", "v0.3.0", "dev" => "dev"],