From de1b3769f876c78d634111f0d64c859e97eaa31e Mon Sep 17 00:00:00 2001
From: Matthias Beyer <mail@beyermatthias.de>
Date: Tue, 27 Dec 2022 16:34:52 +0100
Subject: [PATCH] Remove Makefile

This was used to build a mdbook, but there's no mdbook in the codebase.

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
---
 Makefile | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 Makefile

diff --git a/Makefile b/Makefile
deleted file mode 100644
index 1c9c7fb..0000000
--- a/Makefile
+++ /dev/null
@@ -1,8 +0,0 @@
-DOCS := $(PWD)/docs
-
-book: $(DOCS)/guide/index.html
-
-$(DOCS)/guide/index.html: $(DOCS)/src/*.md
-	cd docs && mdbook build
-
-.PHONY: book