update dev paths

oxfordcontrol · Sep 20, 2023 · 76fa20f · 76fa20f
1 parent e62c2fa
commit 76fa20f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -27,6 +27,6 @@ makedocs(
 )
 
 deploydocs(
-    devbranch = "main",
+    devbranch = "develop",
     devurl    = "dev",
     repo      = "github.com/oxfordcontrol/ClarabelDocs.git")