From e2d41e2fe8e33dbb1f3b0a8af92a2cd61f2fe0bc Mon Sep 17 00:00:00 2001
From: David Badura <david.badura@patchlevel.de>
Date: Sat, 13 Jun 2026 08:43:07 +0200
Subject: [PATCH] rename index.md into introduction.md

---
 docs/{index.md => introduction.md} | 0
 docs/project.json                  | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename docs/{index.md => introduction.md} (100%)

diff --git a/docs/index.md b/docs/introduction.md
similarity index 100%
rename from docs/index.md
rename to docs/introduction.md
diff --git a/docs/project.json b/docs/project.json
index 96a7c9610..f6cc27897 100644
--- a/docs/project.json
+++ b/docs/project.json
@@ -2,7 +2,7 @@
   "navigation": [
     {
       "title": "Introduction",
-      "file": "index.md"
+      "file": "introduction.md"
     },
     {
       "title": "Getting Started",