diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 21 |
1 files changed, 19 insertions, 2 deletions
@@ -1,13 +1,14 @@ .POSIX: -all: +all: public check: clean: - rm -rf public/ + rm -rf \ + .sentinel/ public/ dev-check: check @@ -19,3 +20,19 @@ deploy: 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 |