blob: 2b5e236c1045cb94477f919deb9a1c84857264b4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
#!/usr/bin/env bash
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
# 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 -o errexit
set -o nounset
set -o pipefail
cd "$(dirname ${0})/../.."
./mach doc
# etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
# Use recursive copy here to avoid `cp` returning an error code
# when it encounters directories.
cp -r etc/doc.servo.org/* target/doc/
./mach cargo-geckolib doc
# Use recursive copy here to avoid `cp` returning an error code
# when it encounters directories.
cp -r target/geckolib/doc/* target/doc/geckolib/
python components/style/properties/build.py servo html regular
cd components/script
cmake .
cmake --build . --target supported-apis
cp apis.html ../../target/doc/servo/
cd ../..
ghp-import -n target/doc
git push -qf \
"https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages \
>/dev/null 2>&1
|
