From 25884e42a186a0b3e9347519bbf32080dd0edc47 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sat, 15 Jan 2022 23:54:31 -0300
Subject: Release v0.3.0

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

(limited to 'aux/workflow')

diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
index a433478..f950e7c 100755
--- a/aux/workflow/dist.sh
+++ b/aux/workflow/dist.sh
@@ -68,7 +68,8 @@ 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
+make dev-check EXTRA_VERSION="$VVERSION"
 
 if ! (git diff --quiet && git diff --quiet --staged); then
 	echo 'Dirty repository.'
-- 
cgit v1.2.3