diff options
| author | EuAndreh <eu@euandre.org> | 2022-11-27 18:46:01 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-11-27 18:46:01 -0300 |
| commit | 139d7dbc15f4467201c24af834a574f19a5926b4 (patch) | |
| tree | 45d1ee54a755cfd3aa7f4585cd0aee82b257c992 /Makefile | |
| parent | .envrc: Remove unused file (diff) | |
| download | toph-139d7dbc15f4467201c24af834a574f19a5926b4.tar.gz toph-139d7dbc15f4467201c24af834a574f19a5926b4.tar.xz | |
Build TODOs.html on "public" target
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 |