From f2825a96d2a7cb0e52038c37f5e9057be2d1b543 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sat, 11 Mar 2023 18:50:22 +0100
Subject: [PATCH] docs: remove OS directory from install docs

- links did not work that way
- each OS has its own headline and can be discovered easily without
  that directory
---
 docs/installation.rst | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/docs/installation.rst b/docs/installation.rst
index d872cefb4..a6e4824f8 100644
--- a/docs/installation.rst
+++ b/docs/installation.rst
@@ -145,17 +145,6 @@ the old version using the same steps as shown above.
 From Source
 -----------
 
-Operating System
-~~~~~~~~~~~~~~~~
-
-* :ref:`debian-ubuntu`
-* :ref:`fedora`
-* :ref:`opensuse-tumbleweed-leap`
-* :ref:`macos`
-* :ref:`freebsd`
-* :ref:`windows-10-s-linux-subsystem`
-* :ref:`cygwin`
-
 .. note::
 
   Some older Linux systems (like RHEL/CentOS 5) and Python interpreter binaries