From 77e3ea3451a36a12a012bf42726f531035296074 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 17 Jan 2024 06:21:24 +0100
Subject: [PATCH] docs: Use consistent spacing

Sometimes we use a blank line between heading and paragraph,
sometimes we don't. Settle on the former.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3122>
---
 README.md               | 2 ++
 tools/toolbox/README.md | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 9de841a65..923bc9cd7 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,5 @@
 # GNOME Shell
+
 GNOME Shell provides core user interface functions for the GNOME desktop,
 like switching to windows and launching applications. GNOME Shell takes
 advantage of the capabilities of modern graphics hardware and introduces
@@ -37,6 +38,7 @@ git symbolic-ref refs/remotes/origin/HEAD refs/remotes/origin/main
 ```
 
 ## License
+
 GNOME Shell is distributed under the terms of the GNU General Public License,
 version 2 or later. See the [COPYING][license] file for details.
 
diff --git a/tools/toolbox/README.md b/tools/toolbox/README.md
index 3f1ff5c79..bf7e83de1 100644
--- a/tools/toolbox/README.md
+++ b/tools/toolbox/README.md
@@ -1,4 +1,5 @@
 # Toolbox tools
+
 [Toolbox][toolbox] is a container tool for Linux, which allows the use of
 interactive command line environments for development, without having to
 install software on the host.
@@ -22,6 +23,7 @@ and running gnome-shell from within the app.
 For other options, run the script with `--help`.
 
 ## meson-build.sh
+
 Build and install a meson project in a toolbox.
 
 gnome-shell uses the [meson] build system, and doesn't require any build
@@ -32,6 +34,7 @@ the project.
 Run the script with `--help` to see available options.
 
 ## meson-test.sh
+
 Run a meson project's test suite in a toolbox.
 
 The script wraps meson's `test` command to make invoking it inside a
@@ -40,6 +43,7 @@ toolbox more convenient.
 Run the script with `--help` to see available options.
 
 ## run-gnome-shell.sh
+
 Run gnome-shell from a toolbox.
 
 The script can be used both from within a graphical session and from a TTY.