Skip to content

Merge pull request #194 from ralphlange/misc-fixes #82

Merge pull request #194 from ralphlange/misc-fixes

Merge pull request #194 from ralphlange/misc-fixes #82

Workflow file for this run

name: Publish Sphinx Docs to GitHub Pages
on:
# Build the docs on pushes to main branch, PRs to main branch, and new tags.
# Publish only on demand.
push:
branches:
- master
tags:
- '*' # all tags
workflow_dispatch: # allow manual triggering
inputs:
deploy:
description: 'Deploy documentation'
type: boolean
required: true
default: false
# see: https://sphinx-notes.github.io/pages/
# see: https://github.com/marketplace/actions/sphinx-to-github-pages
jobs:
build-docs:
runs-on: ubuntu-latest
steps:
- name: Deploy Information
if: ${{ github.event.inputs.deploy }}
run: |
echo "The will be published from this workflow run."
- name: Checkout
uses: actions/checkout@master
with:
fetch-depth: 0 # otherwise, you will fail to push refs to dest repo
- name: Setup Python
uses: actions/setup-python@v4
with:
python-version: "3.10"
- name: Build Docs
run: |
pip install m2r2 "pygments >=2.7.0" "sphinx_rtd_theme >=1.2.0" sphinx-multibuild
sphinx-build -ET docs/source docs/_build/html/
- name: Install Doxygen
run: sudo apt-get install doxygen graphviz -y
shell: bash
- name: Generate Doxygen Documentation
# Doxygen output is put in _build/html/doxygenHTML by the Doxyfile
# So it will be published by Publish Jobs below
run: |
cd docs
doxygen
cd -
- name: Publish Docs
uses: peaceiris/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/_build/html
keep_files: true