From 36b2282a1f95b6253e4b6a6668ec4a4b36af1fbb Mon Sep 17 00:00:00 2001
From: Corwin Kuiper <corwin@kuiper.dev>
Date: Sun, 11 Apr 2021 16:49:58 +0100
Subject: [PATCH] remove makefile section

---
 README.md | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/README.md b/README.md
index 56553cbd..21cad12b 100644
--- a/README.md
+++ b/README.md
@@ -18,11 +18,6 @@ examples as documentation.
 This is probably easiest to do in a container, the `start-dev.sh` script creates
 and runs a development environment in a docker container.
 
-## Makefile
-
-The Makefile is written such that `make d-{example name}` runs the debug build
-of the example, and `make r-{example name}` runs the release build.
-
 ## Stability
 
 0% stable, I have no problems making drastic changes in the API in order to make