Skip to content

Commit

Permalink
Fixes #4230 - Move Maven plugin documentation to Overview section
Browse files Browse the repository at this point in the history
  • Loading branch information
mnriem committed Nov 20, 2024
1 parent c20c9ed commit 147c2b4
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions src/site/site.xml
Original file line number Diff line number Diff line change
Expand Up @@ -23,14 +23,12 @@
</links>
<menu inherit="top" name="Overview">
<item name="Getting Started" href="index.html"/>
<item name="Maven Plugin" href="maven/plugin/index.html"/>
</menu>
<menu name="Distributions">
<item name="Core Profile" href="dist/coreprofile/index.html" />
<item name="Embedded" href="embedded/index.html" />
</menu>
<menu inherit="bottom" name="Maven">
<item name="Plugin" href="maven/plugin/index.html"/>
</menu>
<menu name="Piranha Micro">
<item name="Overview" href="micro/index.html"/>
<item name="Guides">
Expand Down

0 comments on commit 147c2b4

Please sign in to comment.