From 80173c6413ad299e383209ffbb7ac4c9dcbc42d0 Mon Sep 17 00:00:00 2001 From: patrick96 Date: Sun, 3 Apr 2022 14:27:18 +0200 Subject: [PATCH] Add section about distro specific setups --- doc/dev/getting-started.rst | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/doc/dev/getting-started.rst b/doc/dev/getting-started.rst index 0ce7ccfa..0058d84e 100644 --- a/doc/dev/getting-started.rst +++ b/doc/dev/getting-started.rst @@ -32,3 +32,10 @@ symlinking the ``compile_commands.json`` into the repo root directory: .. code-block:: shell ln -s build/compile_commands.json . + +Distro-Specific Setup +--------------------- + +The wiki contains user-contributed `setup tips +`_ for some +distros.