Merge pull request #8691 from radarhere/sphinx

This commit is contained in:
Hugo van Kemenade 2025-01-13 19:08:28 +02:00 committed by GitHub
commit 513a72abb5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,5 +1,8 @@
version: 2
sphinx:
configuration: docs/conf.py
formats: [pdf]
build: