cheap change to the release script

s/release

@@ -3,22 +3,8 @@
 import os
 import sys
 
-print("This script uses buildno.h, which is deprecated\nExiting.\n")
-sys.exit(1)
-
-template="""#define VERSION_MAJOR %s
-#define VERSION_MINOR %s
-#define VERSION_BUILD %s
-"""
-
 def new_version(ver):
-    sp = ver.split(".")
-    sp = (sp[0], sp[1], sp[2])
-    file = open("src/buildno.h", "w")
-    file.write(template % sp)
-    file.close()
-    os.system("git add src/buildno.h")
-    os.system("git commit -m 'release version %s'" % ver)
     os.system("git tag -f v%s" % ver)
+    os.system("git push --tags")
 
 new_version(sys.argv[1])