diff options
-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 |