From a779116a68d4fc9804aadf96ab354a1ed6675f6a Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Wed, 22 Mar 2023 16:17:03 -0300
Subject: aux/workflow/dist.sh: Do not build before doing dist

---
 aux/workflow/dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
index a433478..1461a86 100755
--- a/aux/workflow/dist.sh
+++ b/aux/workflow/dist.sh
@@ -68,7 +68,7 @@ if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then
 	exit 1
 fi
 
-make clean public dev-check EXTRA_VERSION="$VVERSION"
+: make clean check EXTRA_VERSION="$VVERSION"
 
 if ! (git diff --quiet && git diff --quiet --staged); then
 	echo 'Dirty repository.'
-- 
cgit v1.2.3