tor-webwml.git

1) #!/bin/sh

2) set -e # stop if we encounter an error
3) 

4) # pull the latest changes

5) svn update

6) 
7) # clean up the working directory
8) make clean
9) 
10) # actually build the site

11) make -j3

12) 

13) # don't copy over stuff with permissions that make it useless

14) chmod -R a+r *

15) rsync --exclude .svn --exclude .deps --exclude svn --exclude dist --exclude releases --exclude torbutton-current.xpi --exclude project -Prvz --delete . vescum:/srv/www-master.torproject.org/htdocs

16) 
17) echo "Forcing mirror update"