#!/bin/sh
cd ~/www/cgi
python mirror_build.py
sh mirror_fixurls.sh
if [ -d pages ]; then
    mv pages pages.old
fi
mv pages.new pages
rm -rf pages.old