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

Unbreak the docs build.

Browse source
This commit is contained in:
Josh Matthews 2018-03-11 13:45:44 -04:00 • committed by GitHub
parent 29e10d4f88
commit 34d14a092c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
etc/ci/upload_docs.sh
View file

@ -38,9 +38,6 @@ cp apis.html ../../target/doc/servo/
echo "Copied apis.html." echo "Copied apis.html."
cd ../.. cd ../..
# Clean up the traces of the current doc build.
./etc/ci/clean_build_artifacts.sh
echo "Starting ghp-import." echo "Starting ghp-import."
ghp-import -n target/doc ghp-import -n target/doc
echo "Finished ghp-import." echo "Finished ghp-import."
@ -48,3 +45,6 @@ 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." echo "Finished git push."
# Clean up the traces of the current doc build.
./etc/ci/clean_build_artifacts.sh