From: Carsten Schoenert <c.schoenert@t-online.de>
Date: Sun, 1 Dec 2024 08:41:26 +0100
Subject: docs: Don't use mike addon for MkDocs

We don't need to use this feature in Debian, the power of mike is mostly
only interesting for upstream projects.

It's currently also not packaged for Debian. Upstream can be found here

https://github.com/jimporter/mike

Forwarded: not-needed
---
 mkdocs.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/mkdocs.yml b/mkdocs.yml
index 0932230..eb8f801 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -104,8 +104,8 @@ extra:
     link: https://x.com/15r10nk
   - icon: fontawesome/brands/mastodon
     link: https://fosstodon.org/@15r10nk
-  version:
-    provider: mike
-    default:
-    - latest
-    - development
+#  version:
+#    provider: mike
+#    default:
+#    - latest
+#    - development