From 7de0def4e21fa9c1ab44da63943937dacaf85b58 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Thu, 25 Feb 2021 11:27:28 -0300
Subject: Update aux/workflow/dist.sh

---
 aux/workflow/dist.sh | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
index 45fc30a..8f8f617 100755
--- a/aux/workflow/dist.sh
+++ b/aux/workflow/dist.sh
@@ -2,16 +2,22 @@
 set -eu
 
 DATE="$1"
-VERSION="v$2"
+VERSION="$2"
+VVERSION="v$2"
 
-if git show "$VERSION" 1>/dev/null 2>/dev/null; then
-  echo "Version '$VERSION' already exists."
+if git show "$VVERSION" 1>/dev/null 2>/dev/null; then
+  echo "Version '$VVERSION' already exists." >&2
   exit 1
 fi
 
 if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
-  echo "Date '$DATE' is not up-to-date."
+  echo "Date '$DATE' is not up-to-date." >&2
   exit 1
 fi
 
-git tag "$VERSION"
+if ! grep -q "^# $VERSION - $DATE$" CHANGELOG.md; then
+  echo "Missing '# $VERSION - $DATE' entry from CHANGELOG.md" >&2
+  exit 1
+fi
+
+git tag "$VVERSION"
-- 
cgit v1.2.3