23 lines
593 B
Bash
Executable File
23 lines
593 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# https://github.com/cirosantilli/china-dictatorship#mirrors
|
|
|
|
set -eux
|
|
make
|
|
git push --follow-tags
|
|
|
|
# GitHub pages.
|
|
# One time initial setup.
|
|
# git checkout --orphan gh-pages
|
|
# and copy over https://github.com/cirosantilli/jekyll-min
|
|
gh_pages_dir=out/gh-pages
|
|
if [ ! -d "$gh_pages_dir" ]; then
|
|
mkdir -p "$gh_pages_dir"
|
|
git clone --branch gh-pages "$(git remote get-url origin)"
|
|
fi
|
|
cp README.html "${gh_pages_dir}/index.html"
|
|
git -C "$gh_pages_dir" add index.html
|
|
if git -C "$gh_pages_dir" commit -m "$(git log -1 --format="%H")"; then
|
|
git -C "$gh_pages_dir" push
|
|
fi
|