From 70e70fd1d9da87bc0a832734b137f2c326641c4e Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Fri, 8 Aug 2014 13:27:15 +0100
Subject: [PATCH] Change documenation repository URL back to doc.servo.org

The earlier change got lost in the rebase for #3015
---
 travis.linux.script.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis.linux.script.sh b/travis.linux.script.sh
index c6cb2ff8a53..285d82fa2e4 100755
--- a/travis.linux.script.sh
+++ b/travis.linux.script.sh
@@ -20,7 +20,7 @@ unit-doc)
       echo '<meta http-equiv=refresh content=0;url=servo/index.html>' > doc/index.html
       sudo pip install ghp-import
       ghp-import -n doc
-      git push -fq https://${TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages
+      git push -fq https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages
   fi
 ;;
 *) echo "Task $1 not enabled for Linux"