tools/github actions: use makefile/sphinx instead of mkdocs to build HTML documentation

This commit is contained in:
nodiscc 2023-09-25 16:38:42 +02:00
parent 00264cb4a1
commit 4e653e1e97
No known key found for this signature in database
GPG key ID: 067FC4266A4B6909

View file

@ -93,11 +93,8 @@ jobs:
with:
python-version: 3.8
- name: Install dependencies
run: pip install mkdocs
- name: Build documentation
run: mkdocs build --clean
run: make htmldoc
trivy-repo:
runs-on: ubuntu-latest