update-docs-sources

#!/bin/sh

for i in phd; do
    cd /local/src/$i
    git fetch origin && git reset --hard origin/master;
done

langs=`/usr/bin/php -r 'include "/local/src/phpweb/include/languages.inc"; echo implode( " ", array_keys( $ACTIVE_ONLINE_LANGUAGES ) );'`;
langs="base $langs"
for i in $langs; do
  cd /local/src/phpdoc-git/$i
  git fetch origin && git reset --hard origin/master
done

rsync -avzC --timeout=600 --delete --delete-after \
	--include='manual/*.php' \
	--exclude='manual/**' \
	--exclude='distributions/manual/**' \
	rsync.php.net::phpweb /local/src/phpweb

rsync -avzC --timeout=600 \
	rsync.php.net::docweb /local/src/docweb