Use rsync instead of scp for faster, more correct remote pushing

diff --git a/push-to-web.sh b/push-to-web.sh
index 4d8985c..e888f02 100755 (executable)
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -18,9 +18,9 @@ if [ -s docs/options.html ] ; then
   ./generate-jsdoc.sh
 
   # Copy everything to the site.
-  scp -r gallery common tests jsdoc experimental plugins $site \
+  rsync -avzr gallery common tests jsdoc experimental plugins $site \
   && \
-  scp dygraph*.js gadget.xml excanvas.js thumbnail.png screenshot.png docs/* $site/
+  rsync -avzr dygraph*.js gadget.xml excanvas.js thumbnail.png screenshot.png docs/ $site/
 else
   echo "generate-documentation.py failed"
 fi