diff options
| author | Thomas Waldmann <tw@waldmann-edv.de> | 2023-09-25 15:21:50 +0200 |
|---|---|---|
| committer | Thomas Waldmann <tw@waldmann-edv.de> | 2023-09-25 15:21:50 +0200 |
| commit | 80b08aff356aa9aadf9093493c1232fbb1b6dfab (patch) | |
| tree | 32c70e7946022687d129c3256de73bcd86d30d0d /.readthedocs.yaml | |
| parent | 506718e82f9ae9e3cc413c2f531c5df2eff5a883 (diff) | |
readthedocs: also build offline docs, fixes #7835
Diffstat (limited to '.readthedocs.yaml')
| -rw-r--r-- | .readthedocs.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.readthedocs.yaml b/.readthedocs.yaml index 163320ba7..784ad2981 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -28,3 +28,6 @@ python: sphinx: configuration: docs/conf.py + +formats: + - htmlzip |