diff options
author | Cesar Carruitero <cesar@mozilla.pe> | 2017-05-18 15:02:13 -0500 |
---|---|---|
committer | Cesar Carruitero <cesar@mozilla.pe> | 2017-05-18 15:02:13 -0500 |
commit | ee908d244024ffcb02e7c3ff993e7a8394b20590 (patch) | |
tree | 9831a8a6064831704aa4afbfdf5e5edf5d171e14 | |
parent | d1eef9d08a4dc3c7ff057797281d2b4f8d4f71c7 (diff) | |
download | servo-ee908d244024ffcb02e7c3ff993e7a8394b20590.tar.gz servo-ee908d244024ffcb02e7c3ff993e7a8394b20590.zip |
upload geckolib docs to doc.servo.org
-rwxr-xr-x | etc/ci/upload_docs.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/ci/upload_docs.sh b/etc/ci/upload_docs.sh index ba8d4d70a60..801baecb8f3 100755 --- a/etc/ci/upload_docs.sh +++ b/etc/ci/upload_docs.sh @@ -18,6 +18,10 @@ cd "$(dirname ${0})/../.." # etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html cp etc/doc.servo.org/* target/doc/ +./mach cargo-geckolib doc +mkdir target/doc/geckolib +cp target/geckolib/doc/* target/doc/geckolib/ + python components/style/properties/build.py servo html regular cd components/script |