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

Move documentation to http://doc.servo.org

Browse source 
[skip ci]
This commit is contained in:
Simon Sapin 2014-08-06 23:39:58 +01:00
parent d6ec79672e
commit 13fe0813fa
5 changed files with 389 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
travis.linux.script.sh
View file

@ -10,6 +10,7 @@ make check-content
make check-ref-cpu
mv x86_64-unknown-linux-gnu/rust_snapshot/rust-*/doc .
cp ../src/etc/doc.servo.org/* doc
make doc
if [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ]
@ -17,5 +18,5 @@ then
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/doc.servo.org.git gh-pages
fi