diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 23 |
1 files changed, 20 insertions, 3 deletions
@@ -47,9 +47,26 @@ clean: public/ src/secrets/*.txt packages system \ -public: - mkdir -p public - echo xablau > public/index.html +public/favicon.svg: + mkdir -p $(@D) + cp doc/favicon.svg $@ + +public/style.css: + mkdir -p $(@D) + td -S > $@ + +html-deps = \ + public/favicon.svg \ + public/style.css \ + +public/index.html: README.md $(html-deps) + sh doc/md2html.sh -T 'README' < README.md > $@ + +public/TODOs.html: TODOs.md $(html-deps) + td -H | sh doc/md2html.sh -T 'TODOs' > $@ + +public: \ + public/index.html public/TODOs.html prod-secrets.txt.gpg = \ |