From 882ecbe76c52c9abe1d7ea9d490f34add274eccd Mon Sep 17 00:00:00 2001
From: Tilman Hinnerichs <tilman@hinnerichs.com>
Date: Tue, 5 Sep 2023 07:51:44 +0200
Subject: [PATCH] Update devurl for dos

---
 docs/make.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/make.jl b/docs/make.jl
index f6cdfdd..dd96c93 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -32,5 +32,6 @@ makedocs(;
 deploydocs(;
     repo="github.com/Herb-AI/Herb.jl.git",
     devbranch="documentation",
+    devurl="dev",
 )