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.