FIX: Added 'git pull' back to docs maintenance script; it's needed

2012-11-12 13:59:45 +13:00 · 2012-11-12 13:59:45 +13:00 · 66a1c5d643
parent b6c2758443
commit 66a1c5d643
1 changed files with 1 additions and 0 deletions
--- a/bin/update.sh
+++ b/bin/update.sh
@ -45,6 +45,7 @@ function checkout {

 		git reset --hard -q
 		git checkout $3 -q
+		git pull -q
 	else
 		echo "Checking out $2 from $1 into $2"
 	fi