From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 28 Aug 2022 16:55:09 +0000 (-0400)
Subject: makefile: fix "make doc" by adding a .PHONY.
X-Git-Tag: 0.0.3~1
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=41e747eb6c845d176f6603d481ed49fe918dbfab;p=list-remote-forwards.git

makefile: fix "make doc" by adding a .PHONY.
---

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