diff --git a/etc/ci/upload_docs.sh b/etc/ci/upload_docs.sh index c172c4331ccf..c5aed30699d7 100755 --- a/etc/ci/upload_docs.sh +++ b/etc/ci/upload_docs.sh @@ -16,7 +16,8 @@ cp etc/doc.servo.org/* target/doc/ python components/style/properties/build.py servo html -OUT_DIR="`pwd`/target/doc" make -f makefile.cargo -C components/script dom_docs +OUT_DIR="`pwd`/target/doc/servo" make -f makefile.cargo -C components/script dom_docs +rm -rf target/doc/servo/.cache ghp-import -n target/doc git push -qf "https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages