From 75a8f3abbbf533e5303d5d7d6bddb5947d0d1e37 Mon Sep 17 00:00:00 2001
From: Aarni Koskela <akx@iki.fi>
Date: Mon, 10 Oct 2022 19:47:58 +0300
Subject: [PATCH] DOC: Remove mention of make

The makefile was deleted in ca2d5ad6ad34ca2d3d9b82e89268b6a4f87fc68d
---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 6ec871d46c782..224f184bb7da1 100644
--- a/README.md
+++ b/README.md
@@ -128,8 +128,6 @@ or for installing in [development mode](https://pip.pypa.io/en/latest/cli/pip_in
 python -m pip install -e . --no-build-isolation --no-use-pep517
 ```
 
-If you have `make`, you can also use `make develop` to run the same command.
-
 or alternatively
 
 ```sh