on master help sign in
Build Haddock and Hoogle files
c0bc353David Christiansen
@@ -23,5 +23,9 @@ relib: .PHONY
23linecount : .PHONY
23linecount : .PHONY
24 wc -l src/Idris/*.hs src/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs
24 wc -l src/Idris/*.hs src/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs
25
25
26+#Note: this doesn't yet link to Hackage properly
27+doc: .PHONY
28+ $(CABAL) haddock --executables --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
29+
26.PHONY:
30.PHONY:
27
31