From 4b070a4f1ca0e7097a7fa45b9c6d551f8157b9ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sebastian=20M=C3=BCller?= <sebastian@web3.foundation>
Date: Tue, 11 Jun 2024 12:46:33 +0200
Subject: [PATCH] Update docusaurus.config.js

Rename Introduction to Docs in header
---
 docusaurus.config.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docusaurus.config.js b/docusaurus.config.js
index c9b787d0fd5..1ff13cdc77d 100644
--- a/docusaurus.config.js
+++ b/docusaurus.config.js
@@ -51,7 +51,7 @@ module.exports = {
           type: 'doc',
           docId: 'docs/introduction',
           position: 'right',
-          label: 'Introduction',
+          label: 'Docs',
         },
         {
           type: 'doc',