diff options
| -rwxr-xr-x | etc/ci/upload_docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ci/upload_docs.sh b/etc/ci/upload_docs.sh index 4d159ce53d8..e2907921b11 100755 --- a/etc/ci/upload_docs.sh +++ b/etc/ci/upload_docs.sh @@ -18,7 +18,7 @@ cd "$(dirname ${0})/../.." # etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html cp etc/doc.servo.org/* target/doc/ -python components/style/properties/build.py servo html +python components/style/properties/build.py servo html regular cd components/script cmake . |