Fixed makefile spacing issues
commitaa7caa9f3520db65d2a205f14bf471617a96bb10
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateThu 12 Jun 2014, 17:50 (12 years ago)
parent9f77626
Makefile+2−2
@@ -46,10 +46,10 @@ doc: dist/setup-config
4646 $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
4747
4848lib_doc:
49− $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
49+ $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
5050
5151lib_doc_clean:
52− $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
52+ $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc_clean
5353
5454dist/setup-config:
5555 $(CABAL) configure $(CABALFLAGS)