Use $RELEASE_VERSION instead of $VERSION
tree7ca5d305d27f7869256290392edd951b0a7a191e
-rwxr-xr-x 3285 0release
-rw-r--r-- 1446 0release.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1161 README
-rw-r--r-- 5055 compile.py
-rw-r--r-- 20070 release.py
-rw-r--r-- 5590 scm.py
-rw-r--r-- 2551 setup.py
-rw-r--r-- 6565 support.py
drwxr-xr-x - tests