[z3-checkins] r5131 - in z3/utils: . branch tag trunk

[faassen at codespeak.net]

Author: faassen
Date: Wed Jun 16 19:29:36 2004
New Revision: 5131

Added:
   z3/utils/
   z3/utils/branch/
   z3/utils/tag/
   z3/utils/trunk/
   z3/utils/trunk/publish_website.sh   (contents, props changed)
Log:
Add script to easily publish the website from svn. 


Added: z3/utils/trunk/publish_website.sh
==============================================================================
--- (empty file)
+++ z3/utils/trunk/publish_website.sh	Wed Jun 16 19:29:36 2004
@@ -0,0 +1,5 @@
+#!/bin/bash
+rm -rf /tmp/z3website
+svn export http://codespeak.net/svn/z3/www/trunk /tmp/z3website
+rsync -z -r -v /tmp/z3website/ codespeak.net:/www/codespeak.net/htdocs/z3/
+