git.iko.soy/Idris-dev
on master help sign in
Add 'doc' and 'doc_clean' make targets for Effects lib
87ac834Jake Mitchell
libs/effects/Makefile+11−4
compare with master
unifiedsplit
@@ -1,14 +1,21 @@
1IDRIS := idris
1IDRIS := idris
2+PKG := effects
2
3
3build:
4build:
4− $(IDRIS) --build effects.ipkg
5+ $(IDRIS) --build ${PKG}.ipkg
5
6
6clean:
7clean:
7− $(IDRIS) --clean effects.ipkg
8+ $(IDRIS) --clean ${PKG}.ipkg
8
9
9install:
10install:
10− $(IDRIS) --install effects.ipkg
11+ $(IDRIS) --install ${PKG}.ipkg
11
12
12rebuild: clean build
13rebuild: clean build
13
14
15+doc:
16+ $(IDRIS) --mkdoc ${PKG}.ipkg
17+
18+doc_clean:
19+ rm -rf ${PKG}_doc
20+
14−.PHONY: build clean install rebuild
21+.PHONY: build clean install rebuild doc doc_clean