readthedocs: also build offline docs, fixes #7835

This commit is contained in:
Thomas Waldmann 2023-09-25 15:21:50 +02:00
parent 506718e82f
commit 80b08aff35
No known key found for this signature in database
GPG Key ID: 243ACFA951F78E01
1 changed files with 3 additions and 0 deletions

View File

@ -28,3 +28,6 @@ python:
sphinx:
configuration: docs/conf.py
formats:
- htmlzip