From dac1cecd72058fdbb26dd52e83ac2d217ff818d0 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Mon, 27 May 2024 15:28:52 +0200
Subject: [PATCH] improved status of package directory by including a main page
 and adding it to the main menu

---
 docs/index.mdx       | 2 +-
 docusaurus.config.js | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/index.mdx b/docs/index.mdx
index 5f2c04d23..a57acabe6 100644
--- a/docs/index.mdx
+++ b/docs/index.mdx
@@ -6,4 +6,4 @@ import {Redirect} from '@docusaurus/router';
 
 export default function Home() {
   return <Redirect to="/docs/GettingStarted/" />;
-};
\ No newline at end of file
+};
diff --git a/docusaurus.config.js b/docusaurus.config.js
index d171e8e0c..2685b78f5 100644
--- a/docusaurus.config.js
+++ b/docusaurus.config.js
@@ -88,6 +88,7 @@ const config = {
           // {to: '/stories', label: 'Stories', position: 'left'},
           { to: '/blog', label: 'Blog', position: 'left' },
           { to: '/release-notes', label: 'Release notes', position: 'left' },
+            { to: '/docs/Packages', label: 'Packages', position: 'left' },
 
           { to: '/projects', label: 'Projects', position: 'right' },
           { to: '/team', label: 'Team', position: 'right' },