diff --git a/etc/ci/travis.script.sh b/etc/ci/travis.script.sh index e3f87c9af7d..897aa125339 100755 --- a/etc/ci/travis.script.sh +++ b/etc/ci/travis.script.sh @@ -37,8 +37,8 @@ for t in "${tasks[@]}"; do if [ "${TRAVIS_BRANCH}" = "master" ] && [ "${TRAVIS_PULL_REQUEST}" = "false" ] then mkdir -p target/doc - cp etc/doc.servo.org/* target/doc/ cp -R rust/doc/* target/doc/ + cp etc/doc.servo.org/* target/doc/ ./mach doc # After copying rust/doc, so that the crate index is correct. sudo pip install ghp-import ghp-import -n target/doc