release.sh: pull website repository before

diff --git a/release.sh b/release.sh
index 03e8f0cc68ad8b49c10607815c4e594baabeb92d..1ca70754d25ec5eaa8118c0867063cad2360a660 100755 (executable)
--- a/release.sh
+++ b/release.sh
@@ -12,6 +12,12 @@ then
        exit 1
 fi
 
+if ! (cd ../i3.github.io && git pull)
+then
+       echo "Could not update ../i3.github.io repository"
+       exit 1
+fi
+
 if [ ! -e "RELEASE-NOTES-${RELEASE_VERSION}" ]
 then
        echo "RELEASE-NOTES-${RELEASE_VERSION} not found."