diff -r 4841b443f1fd -r f65edc0382cc fabfile.py
--- a/fabfile.py	Wed Apr 25 00:06:27 2012 +0200
+++ b/fabfile.py	Wed Apr 25 15:06:28 2012 +0200
@@ -15,6 +15,11 @@
     env.deploy_user = 'hefee'
 
 
+def hal():
+    env.hosts = ['sandy@hal.netzguerilla.net']
+    env.directory = "iro"
+
+
 def prepare_deploy():
     local("python setup.py sdist")
 
@@ -40,3 +45,26 @@
 def testserver():
    prepare_tests()
    virtualenv("python %s/tests/xmlrpc.py"%env.directory)
+
+def cleandoc():
+    local("rm -rf _build/* web/dev/* web/*.html")
+
+def sphinxdoc():
+    local("sphinx-build -b html -d _build/doctrees doc web/dev/")
+
+def createweb():
+    prepare_deploy()
+    cleandoc()
+    local("mv dist/iro-%s.tar.gz web/files/"%__version__)
+    local("python createdoc.py")
+    sphinxdoc()
+    local("tar -czf web.tar.gz web")
+
+def pushweb():
+    put("web.tar.gz","/tmp/")
+    run("tar -czf backup/iro.tar.gz iro/*")
+    run("tar -xzf /tmp/web.tar.gz")
+    run("rm -r iro/*")
+    run("mv web/* %s/"%env.directory)
+    run("rmdir web")
+    run("rm /tmp/web.tar.gz")