#!/bin/sh                                                                                  

if [ ! -d /srv/web/docs ]
then
	echo "/srv/web/docs missing"
	cd /srv/web
	git clone git://git.fedorahosted.org/docs/web.git docs
fi


cd /srv/web/docs
git reset -q --hard
git pull -q