From d0ead42daa15d56b581f3bcba93d6f8467232157 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Wed, 10 Jul 2024 17:42:27 +0200
Subject: [PATCH] Fix typesetting of titles in CONTRIBUTING.md

---
 CONTRIBUTING.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 7fd2afe1d..f3426039a 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -20,7 +20,7 @@ You need the most recent version of the Zen libries to be able to compile. If
 you still get build errors, the Zen libraries in the repositories might be out
 of date. Do not hesitate to file an issue!
 
-2. Configure the build using CMake
+### 2. Configure the build using CMake
 
 This is how a potential invocation to CMake could look like:
 
@@ -37,7 +37,7 @@ cmake \
     -DLLVM_OPTIMIZED_TABLEGEN=ON
 ```
 
-3. Build the compiler
+### 3. Build the compiler
 
 Issue the following command while being in the root folder of the project:
 
@@ -45,7 +45,7 @@ Issue the following command while being in the root folder of the project:
 ninja -C build bolt
 ```
 
-4. Run the compiler
+### 4. Run the compiler
 
 The compiler is not available in `build/bolt`. You can run it like so:
 
@@ -53,4 +53,4 @@ The compiler is not available in `build/bolt`. You can run it like so:
 ./build/bolt test.bolt
 ```
 
-That's it! You've succesfully compiled some sources with Bolt!
\ No newline at end of file
+That's it! You've succesfully compiled some sources with Bolt!