commit 1942fc82f2f3ea585df1bebfa54376d0bfdceeed
author Markus Jung <mail@markus-jung.dev> Fri Oct 13 10:38:28 2023 +0200
committer Markus Jung <mail@markus-jung.dev> Thu Nov 30 13:24:39 2023 +0100
tree 179f7c2c54bfab29b1864de48f8d29efb49a39f3
parent 0e0a595354844744282dd44e0c2d29f654bd7176

Fix links in User Guide menu

src/site/site.xml

diff --git a/src/site/site.xml b/src/site/site.xml
index 5d5b845..5d5efa7 100644
--- a/src/site/site.xml
+++ b/src/site/site.xml
@@ -74,9 +74,9 @@
       <item name="Home" href="/index.html"/>
       <item name="Download" href="./download.html"/>
       <item name="Javadoc" href="/apidocs/index.html"/>
-      <item name="Source Code" href="/source-repository.html"/>
+      <item name="Source Code" href="/scm.html"/>
       <item name="Changelog" href="/changelog.html"/>
-      <item name="Mailing Lists" href="/mail-lists.html"/>
+      <item name="Mailing Lists" href="/mailing-lists.html"/>
     </menu>
     
     <menu name="Old Releases">