You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
31 lines
690 B
31 lines
690 B
# * docs.yml --- Build the documentation and publish to Github Pages |
|
|
|
name: "Docs" |
|
on: |
|
push: |
|
branches: |
|
- main |
|
|
|
jobs: |
|
build: |
|
runs-on: ubuntu-latest |
|
strategy: |
|
fail-fast: true |
|
steps: |
|
- uses: actions/checkout@v2 |
|
|
|
- name: Install deps |
|
run: | |
|
sudo apt-get install texinfo |
|
|
|
- name: Build docs |
|
continue-on-error: false |
|
run: make html |
|
|
|
- name: Deploy 🚀 |
|
uses: JamesIves/github-pages-deploy-action@releases/v3 |
|
with: |
|
ACCESS_TOKEN: ${{ secrets.ACCESS_TOKEN }} |
|
BRANCH: gh-pages # The branch the action should deploy to. |
|
FOLDER: doc # The folder the action should deploy. |
|
CLEAN: true
|
|
|