all:
	${IDRIS2} --build base.ipkg

install:
	${IDRIS2} --install base.ipkg

install-with-src:
	${IDRIS2} --install-with-src base.ipkg

docs:
	${IDRIS2} --mkdoc base.ipkg

clean:
	$(RM) -r build
