From 9aa0c0fc8c274a9cfbb68f3f54f57f0fca219be9 Mon Sep 17 00:00:00 2001
From: Oleg Hahm <oleg@hobbykeller.org>
Date: Mon, 6 Mar 2023 18:50:17 +0100
Subject: [PATCH] doc: add quicklink to boards in navbar

---
 doc/doxygen/RIOTDoxygenLayout.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/doxygen/RIOTDoxygenLayout.xml b/doc/doxygen/RIOTDoxygenLayout.xml
index fd07f1056d..fa214363b6 100644
--- a/doc/doxygen/RIOTDoxygenLayout.xml
+++ b/doc/doxygen/RIOTDoxygenLayout.xml
@@ -4,6 +4,7 @@
   <navindex>
     <tab type="mainpage" visible="yes" title=""/>
     <tab type="pages" visible="yes" title="" intro=""/>
+    <tab type="user" url="@ref boards" title="Supported Boards"/>
     <tab type="modules" visible="yes" title="" intro=""/>
     <tab type="namespaces" visible="yes" title="">
       <tab type="namespacelist" visible="yes" title="" intro=""/>