Skip to content

Commit

Permalink
Unbreak the docs build.
Browse files Browse the repository at this point in the history
  • Loading branch information
jdm committed Mar 11, 2018
1 parent 29e10d4 commit 34d14a0
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions etc/ci/upload_docs.sh
Expand Up @@ -38,13 +38,13 @@ cp apis.html ../../target/doc/servo/
echo "Copied apis.html."
cd ../..

# Clean up the traces of the current doc build.
./etc/ci/clean_build_artifacts.sh

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."

# Clean up the traces of the current doc build.
./etc/ci/clean_build_artifacts.sh

0 comments on commit 34d14a0

Please sign in to comment.