Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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