Update make.jl

Trying to get a stable documentation
unfoldtoolbox · Oct 14, 2024 · 0889b58 · 0889b58
1 parent 7cd8e5e
commit 0889b58
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -58,5 +58,6 @@ makedocs(
 deploydocs(;
     repo = "github.com/unfoldtoolbox/Unfold.jl",
     push_preview = true,
-    devbranch = "main",
+    # devbranch = "main",
+    versions = ["stable" => "v^", "v#.#.#"],
 )