Auto merge of #20086 - servo:jdm-patch-6, r=aneeshusa

Add debug output to doc build.

This should narrow down the cause of https://github.com/servo/servo/issues/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/20086)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-02-22 14:36:17 -05:00 committed by GitHub
commit 16bd067c6c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -30,10 +30,15 @@ python components/style/properties/build.py servo html regular
cd components/script
cmake .
cmake --build . --target supported-apis
echo "Copying apis.html."
cp apis.html ../../target/doc/servo/
echo "Copied apis.html."
cd ../..
echo "Starting ghp-import."
ghp-import -n target/doc
echo "Finished ghp-import."
git push -qf \
"https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages \
&>/dev/null
echo "Finished git push."