on master help sign in
Generate Haddock as a part of testing
commit08eb2e251d05b0f3460aead1290fa7a0862462c5 authorDavid Christiansen <david@davidchristiansen.dk> dateFri 29 Nov 2013, 11:22 (13 years ago) parent455faba
1 file changed+1−1
Makefile+1−1
Makefile+1−1
@@ -13,7 +13,7 @@ pinstall: dist/setup-config
1313build: dist/setup-config
1414 $(CABAL) build $(CABALFLAGS)
1515
16−test:
16+test: doc
1717 $(MAKE) -C test IDRIS=../dist/build/idris
1818
1919test_java: