From a43a295335f24bcb924e96718edcdd64a08f3597 Mon Sep 17 00:00:00 2001
From: Wolfgang Müller
Date: Thu, 14 Nov 2024 17:28:56 +0100
Subject: build: Mark coverage as PHONY target

Otherwise make will refuse to regenerate coverage information if the
coverage/ directory already exists.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index f5a7010..9b954e2 100644
--- a/Makefile
+++ b/Makefile
@@ -14,4 +14,4 @@ test:
 coverage:
 	poetry run pytest -s --cov=hircine --cov-report=html
 
-.PHONY: wheel frontend docs test
+.PHONY: wheel frontend docs test coverage
-- 
cgit v1.2.3-2-gb3c3