From 9dc8f3a1647a534a7e7fab0aaeb6bc97a0c092b3 Mon Sep 17 00:00:00 2001
From: Jeff Mitchell <jeffrey.mitchell@gmail.com>
Date: Tue, 6 Oct 2015 12:15:25 -0400
Subject: [PATCH] Use rsync in push script to avoid differing 'cp' behavior on
 OSX/Linux

---
 scripts/website_push.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/website_push.sh b/scripts/website_push.sh
index dc2fa5bc1b..b588899a54 100755
--- a/scripts/website_push.sh
+++ b/scripts/website_push.sh
@@ -19,7 +19,7 @@ while [ -h "$SOURCE" ] ; do SOURCE="$(readlink "$SOURCE")"; done
 DIR="$( cd -P "$( dirname "$SOURCE" )/.." && pwd )"
 
 # Copy into tmpdir
-cp -R $DIR/website/ $DEPLOY/
+rsync -avP $DIR/website/ $DEPLOY/
 
 # Change into that directory
 pushd $DEPLOY &>/dev/null