blob: f4c2fb21c28be4760a81d5c88048f11115d8ba91 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
set -e
export DISPLAY=:1.0
export RUST_TEST_TASKS=1
case $1 in
content)
make check-content
;;
ref)
make check-ref-cpu
;;
unit-doc)
make check-servo
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 ]
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 -qf https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages
fi
;;
*) echo "Task $1 not enabled for Linux"
esac
|
