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

Add debug output to doc build.

Browse source 
This should narrow down the cause of https://github.com/servo/servo/issues/17243.
This commit is contained in:
Josh Matthews 2018-02-20 12:05:33 -05:00 • committed by GitHub
parent f5b0a187b0
commit e3ab8b6d90
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
etc/ci/upload_docs.sh
View file

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