diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -65,11 +65,11 @@ public/index.html: README.md $(html-deps) public/TODOs.html: TODOs.md $(html-deps) td -H | sh doc/md2html.sh -T 'TODOs' > $@ -public/dev/ci: +public/ci: sh src/infrastructure/scripts/report.sh -o $@ public: \ - public/index.html public/TODOs.html public/dev/ci + public/index.html public/TODOs.html public/ci prod-secrets.txt.gpg = \ |