]> gitweb.michael.orlitzky.com - dead/htsn.git/commitdiff
Make the 'doc' target phony.
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 8 Jan 2014 01:14:12 +0000 (20:14 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 8 Jan 2014 01:14:12 +0000 (20:14 -0500)
makefile

index a0d4de75757bdeb7b9b11b565d0a098802793491..7f9a19952583a4e0bdde1cfbbdc98f52b1e4623f 100644 (file)
--- a/makefile
+++ b/makefile
@@ -4,7 +4,7 @@ TESTSUITE_BIN = dist/build/testsuite/testsuite
 SRCS := $(shell find src/ -type f -name '*.hs')
 TEST_SRCS := $(shell find test/ -type f -name '*.hs')
 
-.PHONY : dist hlint
+.PHONY : dist doc hlint
 
 $(BIN): $(PN).cabal $(SRCS)
        runghc Setup.hs clean
@@ -18,7 +18,7 @@ profile: $(PN).cabal $(SRCS)
                                   --prefix=/
        runghc Setup.hs build
 
-doc: $(PN).cabal $(SRCS)
+doc:
        runghc Setup.hs configure --user --prefix=/
        runghc Setup.hs hscolour --executables
        runghc Setup.hs haddock --internal    \