From 61670663c60b82f494f846bdfa7a0d8a29dcc224 Mon Sep 17 00:00:00 2001
From: Julien Stephan <jstephan@baylibre.com>
Date: Tue, 18 Aug 2026 17:41:31 +0200
Subject: [PATCH] docs: fix Sections section

Currently the Sections section is a hand-maintained duplicate of the
sidebar, and is missing the dev guide link.

Add a code snippet to automatically render the section to avoid future
missing entries.

Signed-off-by: Julien Stephan <jstephan@baylibre.com>
---
 docs/index.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/docs/index.md b/docs/index.md
index 2eb7cd08..caf2ae34 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -22,8 +22,8 @@ website](https://riseproject.dev/).
 
 ## Sections
 
-- [Motivation](motivation.html)
-- [Installing the Packages](install.html)
-- [Manylinux_2_35 and Manylinux_2_39](manylinux.html)
-- [Supported Packages](packages/)
-- [Infrastructure](infrastructure.html)
+{% assign sections = site.html_pages | where_exp: "p", "p.nav_order" | where_exp: "p", "p.parent == nil" | sort: "nav_order" -%}
+{% for p in sections -%}
+{% if p.url == page.url %}{% continue %}{% endif -%}
+- [{{ p.title }}]({{ p.url | relative_url }})
+{% endfor %}