Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

.POSIX:


all: public


check:

clean:
	rm -rf \
		.sentinel/ public/

dev-check: check public

public:

HOST = toph
deploy:
	scp \
		src/infrastructure/guix/channels.scm \
		src/infrastructure/guix/system.scm   \
		$(HOST):/etc/guix/
	ssh $(HOST) r reconfigure $(OPTS)


.sentinel/mkdir-public:
	mkdir -p public .sentinel
	touch $@

public/favicon.svg: .sentinel/mkdir-public src/doc/favicon.svg
	cp src/doc/favicon.svg $@

public/style.css: .sentinel/mkdir-public
	td -S > $@

public/TODOs.html: .sentinel/mkdir-public TODOs.md
	td -H | sh src/doc/md2html.sh -T TODOs > $@

public: public/favicon.svg public/style.css public/TODOs.html