From 7703042301af8b5944fb708410b92fc98c042bdc Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Wed, 8 Mar 2023 18:20:43 +0200
Subject: [PATCH] Add missing html target to top-level Makefile (it's in the
 help)

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index a2545b54e..206b1cebe 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,8 @@ coverage:
 	python3 -m coverage report
 
 .PHONY: doc
-doc:
+.PHONY: html
+doc html:
 	python3 -c "import PIL" > /dev/null 2>&1 || python3 -m pip install .
 	$(MAKE) -C docs html