From f989297b5b85c0bd04dae0d35223b3b06972e829 Mon Sep 17 00:00:00 2001
From: Gary Gregory <gardgregory@gmail.com>
Date: Sat, 20 Jul 2019 20:45:58 -0400
Subject: [PATCH] Fix the site's source repository link.

---
 src/site/site.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/site/site.xml b/src/site/site.xml
index c3208f910..46d8a3d61 100644
--- a/src/site/site.xml
+++ b/src/site/site.xml
@@ -37,7 +37,7 @@
             <item name="Issue Tracking"       href="/issue-tracking.html"/>
             <item name="Proposal"             href="/proposal.html"/>
             <item name="Developer guide"      href="/developerguide.html"/>
-            <item name="Source Repository"    href="/source-repository.html"/>
+            <item name="Source Repository"    href="/scm.html"/>
             <item name="Javadoc (GIT latest)" href="apidocs/index.html"/>
         </menu>