Change documenation repository URL back to doc.servo.org

The earlier change got lost in the rebase for #3015
This commit is contained in:
Simon Sapin 2014-08-08 13:27:15 +01:00
parent bf3954c8d8
commit 70e70fd1d9

View file

@ -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"