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 417975c17fad1b7055296a6ef71ecd95d654f878..8401cae959d8d1fc60ed14aa003185d9aae21bd0 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 &&