From: Michael Orlitzky 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