| #!/bin/bash |
| |
| # This script builds the website from the docs directory of |
| # the current branch and copies it over to the gh-pages |
| # branch. |
| |
| set -eux |
| shopt -s dotglob |
| |
| # build website |
| scriptdir=$(dirname "$0") |
| cd "$scriptdir"/../docs |
| rm -rf output |
| mkdir output |
| pipenv run python3 build_website.py |
| cd .. |
| |
| # copy to /tmp |
| tmpdir=$(mktemp -d -t jq.website.XXXXXXXXXX) |
| cp -r docs/output/* "$tmpdir" |
| cp .gitignore "$tmpdir" |
| |
| # copy to gh-pages |
| git checkout gh-pages |
| cp -r "$tmpdir"/* . |
| cp "$tmpdir"/.gitignore . |
| |
| # clean up |
| rm -rf "$tmpdir" |
| echo SUCCESS |
