.POSIX:


all: public


check:

clean:
	rm -rf \
		.sentinel/ public/

dev-check: check

public:

deploy:
	scp \
		src/infrastructure/guix/channels.scm \
		src/infrastructure/guix/system.scm   \
		toph:/etc/guix/
	ssh toph reconfigure


.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