Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 13:40:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix doc.servo.org repository URL.

Browse source
This commit is contained in:
Simon Sapin 2014-08-07 22:31:37 +01:00
parent 1c0e51015f
commit 2a1ec61ccd
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
travis.linux.script.sh
View file

@ -18,5 +18,5 @@ then
echo '<meta http-equiv=refresh content=0;url=servo/index.html>' > doc/index.html echo '<meta http-equiv=refresh content=0;url=servo/index.html>' > doc/index.html
sudo pip install ghp-import sudo pip install ghp-import
ghp-import -n doc ghp-import -n doc
git push -fq https://${TOKEN}@github.com/doc.servo.org.git gh-pages git push -fq https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages
fi fi