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

diff --git a/makefile b/makefile
index 2212e31043071cbb73923bed7da1b1733cec0034..98b36c30a552c5dd303a979ef94b5b911ad88c56 100644 (file)
--- 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