From 7187bf32b793745841836f57f468a77bd34f672e Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel@tarides.com>
Date: Tue, 16 Jul 2024 19:11:42 +0200
Subject: [PATCH] Explicit the need to remove the Makefile

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index f6254a87..883ab75e 100644
--- a/README.md
+++ b/README.md
@@ -60,6 +60,7 @@ opam install "mirage>=4.0.0"
 Then, the unikernel can be _configured_:
 
 ```bash
+rm Makefile # To let mirage create its custom Makefile instead
 mirage configure -f mirage/config.ml -t <TARGET> ...
 ```