From 0889b58ef7f2131f2deaca44b25887a8e7c2d9e3 Mon Sep 17 00:00:00 2001
From: Judith Schepers <judith.schepers@vis.uni-stuttgart.de>
Date: Mon, 14 Oct 2024 16:49:13 +0200
Subject: [PATCH] Update make.jl

Trying to get a stable documentation
---
 docs/make.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index 5cb66a4a..cc3479f3 100644
--- 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#.#.#"],
 )