diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-30 15:22:45 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-30 15:22:45 -0300 |
| commit | 5a18c6bb49b27b61c590bbc6da4d90f9ae2a73d6 (patch) | |
| tree | 498f8e77781e37e0bbc16dce57c6e0d64b6721f3 | |
| parent | ci report.sh: Add link to files under data/ (diff) | |
| download | toph-5a18c6bb49b27b61c590bbc6da4d90f9ae2a73d6.tar.gz toph-5a18c6bb49b27b61c590bbc6da4d90f9ae2a73d6.tar.xz | |
Makefile: Fix directory of CI output
| -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 = \ |