mirror of
https://gitee.com/openharmony/third_party_rust_bindgen
synced 2024-12-11 17:14:31 +00:00
34 lines
791 B
Bash
Executable File
34 lines
791 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -xeu
|
|
cd "$(dirname "$0")/../book"
|
|
|
|
# Ensure mdbook is installed.
|
|
cargo install mdbook --vers "^0.2.1" --force || true
|
|
export PATH="$PATH:~/.cargo/bin"
|
|
|
|
# Get the git revision we are on.
|
|
rev=$(git rev-parse --short HEAD)
|
|
|
|
# Build the users guide book and go into the built book's directory.
|
|
rm -rf ./book
|
|
mdbook build
|
|
cd ./book
|
|
|
|
# Make the built book directory a new git repo, fetch upstream, make a new
|
|
# commit on gh-pages, and push it upstream.
|
|
|
|
git init
|
|
git config user.name "Travis CI"
|
|
git config user.email "builds@travis-ci.org"
|
|
|
|
git remote add upstream "https://$GH_TOKEN@github.com/rust-lang/rust-bindgen.git"
|
|
git fetch upstream
|
|
git reset upstream/gh-pages
|
|
|
|
touch .
|
|
|
|
git add -A .
|
|
git commit -m "Rebuild users guide at ${rev}"
|
|
git push upstream HEAD:gh-pages
|