From 5a18c6bb49b27b61c590bbc6da4d90f9ae2a73d6 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Thu, 30 Mar 2023 15:22:45 -0300
Subject: Makefile: Fix directory of CI output

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1db3f6f..23b2359 100644
--- a/Makefile
+++ b/Makefile
@@ -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 = \
-- 
cgit v1.2.3