From f95d984734850f9d60b1d19f128672d287a96dde Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philipk@posteo.net>
Date: Fri, 24 May 2024 16:44:38 +0200
Subject: [PATCH] Allow extending the Makefile with custom rules

---
 .gitignore | 2 +-
 Makefile   | 2 ++
 README.md  | 8 +++++++-
 3 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index f51a440..2765585 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,4 @@
 *~
 data/
 out/
-*.mk
\ No newline at end of file
+*.mk
diff --git a/Makefile b/Makefile
index 05b3215..f7ffcda 100644
--- a/Makefile
+++ b/Makefile
@@ -45,3 +45,5 @@ sync: all
 clean:
 	rm -rf $(OUT)
 	git worktree remove $(DATA)
+
+-include local.mk
diff --git a/README.md b/README.md
index fe47f4d..faf7375 100644
--- a/README.md
+++ b/README.md
@@ -19,7 +19,13 @@ ausführen.  Weitere branches können unabhängig erstellt werden mit
 
 erstellt werden.
 
-Einstellungen können in der Makefile gefunden werden.
+Einstellungen können in der Makefile gefunden werden.  Zusätzliche
+Regeln können in der Datei `local.mk` angegeben werden:
+
+	$(OUT)/index.html: $(OUT)/quiz.html
+		ln -srf $< $@
+
+	all: $(OUT)/index.html
 
 Abhängigkeiten
 --------------
-- 
GitLab