all: tangle

distrib.tar.xz: tangle
	tar -c . | xz > $@

tangle: config.org
	./batch-tangle $^

config.html: config.org
	./batch-export $^

install: tangle
	cp -aiuv sys/* /
	./run-install-scripts

.PHONY: all tangle install