Move prerelease-tag and release to devscripts

diff --git a/prerelease-tag b/devscripts/prerelease-tag
similarity index 100%
rename from prerelease-tag
rename to devscripts/prerelease-tag

diff --git a/release b/devscripts/release
similarity index 95%
rename from release
rename to devscripts/release
index 1255bd4fd32b548f3d5e26194b19b999003d6e9a..92ce3141110ecc6ab7e00c06b41863df87b10267 100755 (executable)
--- a/release
+++ b/devscripts/release
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-cd "`dirname \"$0\"`" &&
+cd "`dirname \"$0\"`"/.. &&
 umask 022 &&
 chmod -R a+rX . &&
 set-commit-date.py &&