From da80991676bc0f8a5e82954a98d763126992e677 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 7 Mar 2021 23:38:50 -0300
Subject: Makefile: Add dev-check as .PHONY target

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5169128..73e6f64 100644
--- a/Makefile
+++ b/Makefile
@@ -13,4 +13,4 @@ dev-check: check
 public:
 	sh aux/workflow/public.sh Servers servers public-inbox
 
-.PHONY: check clean
+.PHONY: check clean dev-check
-- 
cgit v1.2.3