From 0416643d1d54a0144f9bf02feaea520b15ea403b Mon Sep 17 00:00:00 2001
From: JeremyStarTM <jeremystartm@staropensource.de>
Date: Mon, 8 Apr 2024 22:40:10 +0200
Subject: [PATCH] Add development documentation link

---
 docs/docusaurus.config.ts | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/docs/docusaurus.config.ts b/docs/docusaurus.config.ts
index 1af65eb..7e53b47 100644
--- a/docs/docusaurus.config.ts
+++ b/docs/docusaurus.config.ts
@@ -46,11 +46,16 @@ const config: Config = {
           position: "left",
           label: "Documentation",
         },
+        {
+          href: "https://develop.core.staropensource.de",
+          label: "Development documentation",
+          position: "right",
+        },
         {
           href: "https://git.staropensource.de/StarOpenSource/CORE",
           label: "Source code",
           position: "right",
-        },
+        }
       ],
     },
     footer: {