Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 13:40:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #20168 - servo:jdm-patch-16, r=emilio

Browse source 
Improve disk usage of doc builds.

Continuing the war on disk space usage, I noticed the doc builder on servo-linux4 was growing over time without bound.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/20168)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-03-02 10:32:30 -05:00 • committed by GitHub
commit 1475b54f5d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
etc/ci/upload_docs.sh
View file

@ -14,6 +14,9 @@ set -o pipefail
cd "$(dirname ${0})/../.."
# Clean up any traces of previous doc builds.
./etc/ci/clean_build_artifacts.sh
env CC=gcc-5 CXX=g++-5 ./mach doc
# etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
# Use recursive copy here to avoid `cp` returning an error code
@ -35,6 +38,9 @@ cp apis.html ../../target/doc/servo/
echo "Copied apis.html."
cd ../..
# Clean up the traces of the current doc build.
./etc/ci/clean_build_artifacts.sh
echo "Starting ghp-import."
ghp-import -n target/doc
echo "Finished ghp-import."