From cff4e009828fa552275e3f024be757514ef8eb7e Mon Sep 17 00:00:00 2001 From: Mattias Wadman Date: Fri, 31 Oct 2025 10:17:25 +0100 Subject: [PATCH] website: Add wiki link to navigation bar (#3424) Related to #3423 --- docs/templates/shared/_navbar.html.j2 | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/templates/shared/_navbar.html.j2 b/docs/templates/shared/_navbar.html.j2 index 381a1a36..001f0753 100644 --- a/docs/templates/shared/_navbar.html.j2 +++ b/docs/templates/shared/_navbar.html.j2 @@ -25,6 +25,7 @@ + {%- if navitem.startswith('manual') %}