1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- ci/generate-docs.py.orig 2025-02-13 20:33:49 UTC
+++ ci/generate-docs.py
@@ -340,17 +340,6 @@ TOC = [
],
),
Page(
- "Download",
- "installation.md",
- children=[
- Page("Windows", "install/windows.md"),
- Page("macOS", "install/macos.md"),
- Page("Linux", "install/linux.md"),
- Page("FreeBSD", "install/freebsd.md"),
- Page("Build from source", "install/source.md"),
- ],
- ),
- Page(
"Configuration",
"config/files.md",
children=[
|