1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
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 fb11d53..435b1b9 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -147,8 +147,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
|
