From fbbc1525d825824e343428232f7015171c94d209 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Thu, 18 Jul 2024 01:38:59 +0200
Subject: fix(docs): develop base path

---
 subprojects/docs/docusaurus.config.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/subprojects/docs/docusaurus.config.ts b/subprojects/docs/docusaurus.config.ts
index 362ce146..1edf277d 100644
--- a/subprojects/docs/docusaurus.config.ts
+++ b/subprojects/docs/docusaurus.config.ts
@@ -119,6 +119,7 @@ export default {
         {
           label: 'Develop',
           to: '/develop/java',
+          activeBasePath: '/develop',
         },
         {
           label: 'GitHub',
-- 
cgit v1.2.3-70-g09d2