Skip to content

Make httk2 the main site and defer legacy v1 content to /v1/ #15

Make httk2 the main site and defer legacy v1 content to /v1/

Make httk2 the main site and defer legacy v1 content to /v1/ #15

Workflow file for this run

name: httkweb
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout httk-web
uses: actions/checkout@v2
with:
path: web
- name: Checkout httk
uses: actions/checkout@v2
with:
repository: httk/httk
ref: devel
path: httk
- name: Install dependencies
run: |
sudo apt-get install python3 python3-docutils
- name: Generate website
run: |
export PYTHONPATH=$PWD/httk/src:$PYTHONPATH
export PATH=$PWD/httk/bin:$PATH
cd web
python3 ./publish.py
cd ..
- name: Publish website
run: |
cd web
git config user.name httkweb-github-action
git config user.email '<>'
git fetch origin gh-pages
git checkout gh-pages
mv docs ../gh-pages
mv .git ../gh-pages
cd ../gh-pages
touch .nojekyll
git add .
git commit -m "Generated website contents $(date --rfc-2822)"
git push