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

Auto merge of #19335 - servo:jdm-patch-5, r=nox

Browse source 
Unbreak docs build.

Running rustdoc on gecko-media is broken right now.

<!-- 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/19335)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2017-11-22 06:48:10 -06:00 • committed by GitHub
commit 3a08f87ec8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/upload_docs.sh
View file

@ -14,7 +14,7 @@ set -o pipefail
cd "$(dirname ${0})/../.."
./mach doc
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
# when it encounters directories.