From edc8c5ba6e38843441032b597041feea78cd57cc Mon Sep 17 00:00:00 2001 From: Alice Date: Tue, 13 Jan 2026 09:36:07 +0100 Subject: [PATCH] rename main_index to index --- .../{main_index.html => index.html} | 53 ++++++++----------- .../{main_index.html.j2 => index.html.j2} | 1 - docs/main_index/render_main_index.py | 9 ++-- 3 files changed, 25 insertions(+), 38 deletions(-) rename docs/main_index/{main_index.html => index.html} (93%) rename docs/main_index/{main_index.html.j2 => index.html.j2} (98%) diff --git a/docs/main_index/main_index.html b/docs/main_index/index.html similarity index 93% rename from docs/main_index/main_index.html rename to docs/main_index/index.html index 31e32b9e9..8cbd423e4 100644 --- a/docs/main_index/main_index.html +++ b/docs/main_index/index.html @@ -1,4 +1,3 @@ - @@ -19,7 +18,7 @@ - + @@ -44,8 +43,6 @@

Versions: