git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1433 from jmitchell/effects-doc
d10ed5dDavid Christiansen
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