Merge pull request #1433 from jmitchell/effects-doc
Add 'doc' and 'doc_clean' make targets for Effects lib
commitd10ed5d93bce999931ac1e5d96eff3364023af3c
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 30 Jul 2014, 09:52 (12 years ago)
parent5cf623b87ac834
libs/effects/Makefile+11−4
@@ -1,14 +1,21 @@
11IDRIS := idris
2+PKG := effects
23
34build:
4− $(IDRIS) --build effects.ipkg
5+ $(IDRIS) --build ${PKG}.ipkg
56
67clean:
7− $(IDRIS) --clean effects.ipkg
8+ $(IDRIS) --clean ${PKG}.ipkg
89
910install:
10− $(IDRIS) --install effects.ipkg
11+ $(IDRIS) --install ${PKG}.ipkg
1112
1213rebuild: clean build
1314
14−.PHONY: build clean install rebuild
15+doc:
16+ $(IDRIS) --mkdoc ${PKG}.ipkg
17+
18+doc_clean:
19+ rm -rf ${PKG}_doc
20+
21+.PHONY: build clean install rebuild doc doc_clean