Add Overview menu with link to goals (#502)

jenkinsci · Jun 8, 2023 · 566df6d · 566df6d
1 parent 32bd070
commit 566df6d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/site/site.xml b/src/site/site.xml
@@ -25,6 +25,11 @@
       <item name="Jenkins" href="https://jenkins.io/" />
     </breadcrumbs>
 
+    <menu name="Overview">
+      <item name="Introduction" href="index.html"/>
+      <item name="Goals" href="plugin-info.html"/>
+    </menu>
+
     <!-- Menus that every project will inherit -->
     <menu ref="reports" inherit="bottom" />