diff options
author | Manish V Badarkhe <manish.badarkhe@arm.com> | 2023-07-27 10:12:35 +0200 |
---|---|---|
committer | Manish V Badarkhe <manish.badarkhe@arm.com> | 2023-07-27 11:30:56 +0200 |
commit | d48a646214d4675528d197636b8c67edf6ab404d (patch) | |
tree | 4679f21309929dc776be72d1f40424eb95423e25 | |
parent | 43a6544f015b8d91036e4eb7e422a545a8f2396e (diff) |
Revert "docs: disable PDF output for documentation generation"
This reverts commit 279e28ed3526bfcfb8d8bc736e4f5aafd3d73ba3.
Reason for revert: Re-enable the pdf generation since the necessary fix to generate pdf has already been merged.
Change-Id: Ia68e8caea94b5d89fcf182251a13473b32b4bfad
-rw-r--r-- | .readthedocs.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.readthedocs.yaml b/.readthedocs.yaml index 620706682..e3a7ebf71 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -24,3 +24,8 @@ build: sphinx: configuration: docs/conf.py + +# Auxiliary formats to export to (in addition to the default HTML output). +formats: + - pdf + |