git.iko.soy/Idris-dev
on master help sign in
Fixed makefile spacing issues
aa7caa9Jan de Muijnck-Hughes
Makefile+2−2
compare with master
unifiedsplit
@@ -46,10 +46,10 @@ doc: dist/setup-config
46 $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
46 $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
47
47
48lib_doc:
48lib_doc:
49− $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
49+ $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
50
50
51lib_doc_clean:
51lib_doc_clean:
52− $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
52+ $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
53
53
54dist/setup-config:
54dist/setup-config:
55 $(CABAL) configure $(CABALFLAGS)
55 $(CABAL) configure $(CABALFLAGS)