Skip to content

Commit

Permalink
Add a GitHub Actions workflow to build and update website
Browse files Browse the repository at this point in the history
  • Loading branch information
itchyny committed Jun 5, 2023
1 parent 13d1930 commit 73a1f5b
Show file tree
Hide file tree
Showing 4 changed files with 49 additions and 7 deletions.
40 changes: 40 additions & 0 deletions .github/workflows/website.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,40 @@
name: Update website
on:
push:
branches:
- master
paths:
- 'docs/**'
concurrency: website
permissions:
contents: write

jobs:
website:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Setup Python
uses: actions/setup-python@v4
with:
python-version: '3.10'
cache: pipenv
- name: Install pipenv
run: pip install pipenv
- name: Install dependencies
run: pipenv sync
working-directory: docs
- name: Update website
run: scripts/update-website
- name: Commit changes
run: |
if git diff --quiet; then
git add --all
git config user.name 'github-actions[bot]'
git config user.email 'github-actions[bot]@users.noreply.github.com'
git commit -m 'Update website'
git push origin gh-pages
fi
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,9 @@ m4/ltversion.m4
m4/lt~obsolete.m4
tests/*.trs

# Docs output
docs/output

cscope.in.out
cscope.out
cscope.po.out
Expand Down
3 changes: 0 additions & 3 deletions docs/.gitignore

This file was deleted.

10 changes: 6 additions & 4 deletions scripts/update-website
Original file line number Diff line number Diff line change
@@ -1,16 +1,18 @@
#!/bin/sh
#!/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 -eu
set -eux
set -o xtrace
shopt -s dotglob

# build website
scriptdir=`dirname "$0"`
scriptdir=$(dirname "$0")
cd "$scriptdir"/../docs
rm -rf output
mkdir output
pipenv run python3 build_website.py
cd ..

Expand All @@ -20,7 +22,7 @@ cp -r docs/output/* "$tmpdir"
cp .gitignore "$tmpdir"

# copy to gh-pages
git checkout gh-pages
git switch gh-pages
cp -r "$tmpdir"/* .
cp "$tmpdir"/.gitignore .

Expand Down

0 comments on commit 73a1f5b

Please sign in to comment.