From 41e747eb6c845d176f6603d481ed49fe918dbfab Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 28 Aug 2022 12:55:09 -0400
Subject: [PATCH] makefile: fix "make doc" by adding a .PHONY.

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefile b/makefile
index 2212e31..98b36c3 100644
--- a/makefile
+++ b/makefile
@@ -16,7 +16,7 @@ HCFLAGS += -Weverything \
            -rtsopts \
            -threaded
 
-.PHONY : dist hlint
+.PHONY : doc dist hlint
 
 $(BIN): $(PN).cabal $(SRCS)
 	runghc Setup.hs configure --user
-- 
2.43.2