From 1baf9352ae760f576f2ad213256649bdb266ddfb Mon Sep 17 00:00:00 2001
From: Christian Hesse <mail@eworm.de>
Date: Tue, 2 Dec 2025 16:02:24 +0100
Subject: doc/Makefile: add an empty clean target...

... now that this is made with 12fc09a442939d0af09d700c7a8074cca9b1694e.

This unbreaks `make docker`, which triggered the catch-all target
and failed.
---
 doc/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 1c9e5c2..934d6bd 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -12,7 +12,10 @@ BUILDDIR      = build/sphinx
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: help Makefile
+clean:
+	rm -rf build
+
+.PHONY: help clean Makefile
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
-- 
cgit v1.2.3