From 26685d92005b02a398b729333307824e4ee0c984 Mon Sep 17 00:00:00 2001
From: Sabine Schmaltz <sabineschmaltz@gmail.com>
Date: Wed, 22 Nov 2023 18:13:19 +0100
Subject: [PATCH] add missing 'Platform Tools' link in Footer

---
 src/ocamlorg_frontend/components/footer.eml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ocamlorg_frontend/components/footer.eml b/src/ocamlorg_frontend/components/footer.eml
index e9e83e2bff..4348db3bd5 100644
--- a/src/ocamlorg_frontend/components/footer.eml
+++ b/src/ocamlorg_frontend/components/footer.eml
@@ -77,6 +77,10 @@ let render () =
               <li>
                 <a href="<%s Url.getting_started %>" class="text-base leading-6 text-lighter">Get Started</a>
               </li>
+              
+              <li>
+                <a href="<%s Url.platform %>" class="text-base leading-6 text-lighter">Platform Tools</a>
+              </li>
 
               <li>
                 <a href="<%s Url.manual %>" class="text-base leading-6 text-lighter">Language Manual</a>