From f1257d83b22972802ff4338e2befc6028c360445 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrg=20Lehni?= <juerg@scratchdisk.com>
Date: Sun, 25 Oct 2015 11:45:02 +0100
Subject: [PATCH] Pull the latest changes from paperjs.org repo before
 commiting new version.

---
 build/publish.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build/publish.sh b/build/publish.sh
index 864903b9..3b07325b 100755
--- a/build/publish.sh
+++ b/build/publish.sh
@@ -74,6 +74,7 @@ git push origin develop
 
 # Copy paperjs.zip to the website's download folder
 cd $SITE_DIR
+git pull
 cp $PAPER_DIR/dist/paperjs.zip $DIST_FILE
 # Update the online version of paper.js
 cp $PAPER_DIR/dist/paper-full.js assets/js/paper.js