From 47c210233494ab1b983636bc7da6db0cf5ce9f03 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 28 Aug 2022 12:43:33 -0400 Subject: [PATCH] makefile: fix "make doc" by adding the necessary .PHONY. --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 41b916c..e77b227 100644 --- a/makefile +++ b/makefile @@ -16,7 +16,7 @@ HCFLAGS += -Weverything \ -rtsopts \ -threaded -.PHONY : test dist hlint +.PHONY : doc test dist hlint $(BIN): $(PN).cabal src/*.hs runghc Setup.hs clean -- 2.43.2