git.iko.soy/Idris-dev
on master help sign in
Generate Haddock as a part of testing
08eb2e2David Christiansen
Makefile+1−1
compare with master
unifiedsplit
@@ -13,7 +13,7 @@ pinstall: dist/setup-config
13build: dist/setup-config
13build: dist/setup-config
14 $(CABAL) build $(CABALFLAGS)
14 $(CABAL) build $(CABALFLAGS)
15
15
16−test:
16+test: doc
17 $(MAKE) -C test IDRIS=../dist/build/idris
17 $(MAKE) -C test IDRIS=../dist/build/idris
18
18
19test_java:
19test_java: