fix docs by tmp renaming intro page

2026-08-02 08:06:00 +00:00 · 2025-04-24 21:20:12 +02:00
parent 07723ce6ae
commit 88cf65f792
2 changed files with 1 additions and 1 deletions
@@ -61,7 +61,7 @@
  "navigation": [
    {
      "group": "Getting Started",
-      "pages": ["introduction", "motivation"]
+      "pages": ["start", "motivation"]
    },
    {
      "group": "Usage",