From fd674af0c271319e42263475a27321aeff927dd6 Mon Sep 17 00:00:00 2001
From: Dan Vanderkam <danvdk@gmail.com>
Date: Sat, 29 Nov 2014 12:42:29 -0500
Subject: [PATCH] Tweaks for release script

---
 release.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/release.sh b/release.sh
index 909e109..2839647 100755
--- a/release.sh
+++ b/release.sh
@@ -38,11 +38,18 @@ if [ $? -ne 0 ]; then
   exit 1
 fi
 
+grep "$VERSION" releases.json
+if [ $? -ne 0 ]; then
+  echo "Version $VERSION does not appear in releases.json." >&2
+  exit 1
+fi
+
 make lint test test-combined
 if [ $? -ne 0 ]; then
   echo "Tests failed. Won't release!" >&2
   exit 1
 fi
+git reset --hard  # make test-combined deletes the source map
 
 # Push a permanent copy of documentation & generated files to a versioned copy
 # of the site. This is where the downloadable files are generated.
-- 
2.7.4