mirror of
https://github.com/servo/servo.git
synced 2025-08-07 06:25:32 +01:00
Copy from etc/doc.servo.org in ./mach doc
This commit is contained in:
parent
4ef1db879c
commit
e2c3acf4d5
2 changed files with 8 additions and 7 deletions
|
@ -18,10 +18,6 @@ cd "$(dirname ${0})/../.."
|
|||
./etc/ci/clean_build_artifacts.sh
|
||||
|
||||
env CC=gcc-5 CXX=g++-5 ./mach doc
|
||||
# etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
|
||||
# Use recursive copy here to avoid `cp` returning an error code
|
||||
# when it encounters directories.
|
||||
cp -r etc/doc.servo.org/* target/doc/
|
||||
|
||||
python components/style/properties/build.py servo html regular
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue