From e986b98fafd37965cd24eec0fadcf764cea82f1e Mon Sep 17 00:00:00 2001
From: ArthurSonzogni <sonzogniarthur@gmail.com>
Date: Tue, 25 Nov 2025 09:51:47 +0100
Subject: [PATCH] Add new translations.

---
 doc/header.html | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/doc/header.html b/doc/header.html
index 649783b33..f3700a9e7 100644
--- a/doc/header.html
+++ b/doc/header.html
@@ -92,6 +92,24 @@
 
 </script>
 <script type="module">
+  // Ignore non english pages and/or the main page.
+  const excluded_lang = [
+    "/de",
+    "/es",
+    "/fr",
+    "/it",
+    "/ja",
+    "/ja",
+    "/ko"
+    "/ru",
+    "/zh-CH",
+    "/zh-TW",
+  ]
+  if (excluded_lang.some(lang => window.location.pathname.startsWith(lang)) ||
+      window.location.pathname.endsWith("index.html")) {
+    return;
+  }
+
   // Click on the navtree, except for the main page where this is already done
   // automatically.
   let delay = 0;