Documentation engine support #3

Merged
erki merged 4 commits from feature/docs_v2 into master 2023-12-30 17:34:59 +00:00
Showing only changes of commit 59d087e295 - Show all commits

View File

@ -37,7 +37,7 @@ jobs:
run: |
apt update
apt install -y --no-install-recommends build-essential cmake ninja-build doxygen python3-sphinx
pip3 install breathe
pip install breathe
- name: Configure build
working-directory: ${{runner.workspace}}