diff --git a/built.bat b/built.bat
deleted file mode 100644
index b398b53..0000000
--- a/built.bat
+++ /dev/null
@@ -1,3 +0,0 @@
-SET /P version= Enter version number:
-rm -f zotero-doi-manager-"%version%".xpi
-zip -r zotero-doi-manager-"%version%".xpi content/* locale/* skin/* bootstrap.js chrome.manifest install.rdf manifest.json prefs.js zoteroshortdoi.js
\ No newline at end of file
diff --git a/release.sh b/release.sh
new file mode 100755
index 0000000..b58c778
--- /dev/null
+++ b/release.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+read -p 'Enter version number: ' version
+rm -f zotero-doi-manager-"$version".xpi
+zip -r zotero-doi-manager-"$version".xpi content/* locale/* skin/* bootstrap.js chrome.manifest install.rdf manifest.json prefs.js zoteroshortdoi.js
+echo Check that manifest.json, install.rdf, update.rdf and updates.json all point to version $version
\ No newline at end of file