From 0e7795335dbc0ff9ae66934f08aa6a846046e4d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christoph=20L=C3=A4ubrich?= Date: Wed, 7 Feb 2024 12:37:01 +0100 Subject: [PATCH] Restructure the help menu for Tycho site docs (cherry picked from commit 0014151bd5dd38fd0b432ae91a6225306d079775) --- src/site/site.xml | 59 ++++++++++++++++++++++++++--------------------- 1 file changed, 33 insertions(+), 26 deletions(-) diff --git a/src/site/site.xml b/src/site/site.xml index a43f478b4c..20b63980b9 100644 --- a/src/site/site.xml +++ b/src/site/site.xml @@ -1,40 +1,47 @@ - - + + - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - + + + - - - - - - - + + + + + + + + + + + + + + +