From 39ddf8a37ae39d748d64bf9fae70a3201a8a07e8 Mon Sep 17 00:00:00 2001
From: Cyber MacGeddon <cybermaggedon@gmail.com>
Date: Thu, 3 Oct 2024 17:45:07 +0100
Subject: [PATCH] Headings

---
 DEVELOPER_GUIDE.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/DEVELOPER_GUIDE.md b/DEVELOPER_GUIDE.md
index a69006d8..83f9e5ba 100644
--- a/DEVELOPER_GUIDE.md
+++ b/DEVELOPER_GUIDE.md
@@ -1,4 +1,8 @@
 
+= Developer's guide
+
+== Release management
+
 To do a public release you need to...
 
 - Get the git directory ready for the release
@@ -34,6 +38,8 @@ To do a public release you need to...
   - make
   - make push
 
+== Local build
+
 To do a local build, you need to...
 
 - Consider what version you want to build at, and change this in Makefile.