From 520d54dae9b7b7744a5e2fbd8005716c585ee871 Mon Sep 17 00:00:00 2001
From: mahula <lenzmath@posteo.de>
Date: Mon, 1 Dec 2025 13:54:24 +0100
Subject: [PATCH] add empty locale entry to config.js as suggested by
 vuepress-theme-hope team

---
 docs/.vuepress/config.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/.vuepress/config.js b/docs/.vuepress/config.js
index b4d6954..fb67888 100644
--- a/docs/.vuepress/config.js
+++ b/docs/.vuepress/config.js
@@ -21,6 +21,9 @@ export default defineUserConfig({
   locales: {
     // The key is the path for the locale to be nested under.
     // As a special case, the default locale can use '/' as its path.
+
+    // Required workaround for vuepress-theme-hope (see issue #5096)
+    '/': {},
     '/de/': {
       lang: 'de-DE',
     },