From 1a3208d43f837768e18219ca4e79fe31bf748865 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Fri, 31 Mar 2023 20:12:17 -0300
Subject: Revamp CI: simpler variant of the same functionality

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d038522..b127194 100644
--- a/Makefile
+++ b/Makefile
@@ -98,6 +98,8 @@ public: l10n-gen TODOs.md $(manpages) public/makefile.svg
 		-N '$(NAME_UC)' -n '$(NAME)' -m '$(MAILING_LIST)' -o public
 	sh doc/manpages.sh -Ho public $(manpages)
 
+dev: all check public
+
 spellcheck: public
 	sh aux/workflow/assert-spelling.sh -l '$(TRANSLATIONS) en' \
 		$$(find public -type f -name '*.html')
-- 
cgit v1.2.3