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

Auto merge of #17244 - servo:jdm-patch-3, r=emilio

Browse source 
Copy all geckolib dependency docs for upload.

Attempt to fix the doc uploading process which is permafailing in #17243.

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

4
etc/ci/upload_docs.sh
View file

@ -20,7 +20,9 @@ cp etc/doc.servo.org/* target/doc/
./mach cargo-geckolib doc
mkdir target/doc/geckolib
cp target/geckolib/doc/* target/doc/geckolib/
# Use recursive copy here to avoid `cp` returning an error code
# when it encounters directories.
cp -r target/geckolib/doc/* target/doc/geckolib/
python components/style/properties/build.py servo html regular