mirror of
https://github.com/servo/servo.git
synced 2025-08-04 05:00:08 +01:00
Have http://servo.github.io/servo/ include docs for the Rust version we use.
Closes #3038.
This commit is contained in:
parent
d83b1140cd
commit
7b5daaa580
1 changed files with 2 additions and 0 deletions
|
@ -8,6 +8,8 @@ make -j2
|
||||||
make check-servo
|
make check-servo
|
||||||
make check-content
|
make check-content
|
||||||
make check-ref-cpu
|
make check-ref-cpu
|
||||||
|
|
||||||
|
mv x86_64-unknown-linux-gnu/rust_snapshot/rust-*/doc .
|
||||||
make doc
|
make doc
|
||||||
|
|
||||||
if [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ]
|
if [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ]
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue