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

Clean up CI bash scripts, add docs/STYLE_GUIDE.md

Browse source
This commit is contained in:
Aneesh Agrawal 2016-04-30 23:29:06 -04:00
parent a868bb2a90
commit 1e0d039511
6 changed files with 56 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

8
etc/ci/upload_docs.sh
View file

@ -1,10 +1,12 @@
#!/bin/bash
#!/usr/bin/env bash
#
# Helper script to upload docs to doc.servo.org.
# Requires ghp-import (from pip)
# GitHub API token must be passed in environment var TOKEN
set -e
set -o errexit
set -o nounset
set -o pipefail
cd "$(dirname $0)/../.."
@ -15,4 +17,4 @@ cp etc/doc.servo.org/* target/doc/
python components/style/properties/build.py servo html
ghp-import -n target/doc
git push -qf https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages
git push -qf "https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages