Skip to content

Merge pull request #242 from josephmturner/document-network-extensions #152

Merge pull request #242 from josephmturner/document-network-extensions

Merge pull request #242 from josephmturner/document-network-extensions #152

Workflow file for this run

name: GH-Page AutoGen
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
build-and-deploy:
runs-on: ubuntu-latest
continue-on-error: false
steps:
- uses: actions/checkout@v2
- uses: purcell/setup-emacs@master
with:
version: '27.2'
- name: Install dependencies
run: sudo apt-get install texinfo
- name: Run docs/make gh-html
run: |
cd docs
make gh-html
- name: Deploy 🚀
uses: JamesIves/[email protected]
with:
branch: gh-pages # The branch the action should deploy to.
folder: docs # The folder the action should deploy.