commit 818c4dfa52530ff6022fbae1fc4e14b126a78b3a
author Manish V Badarkhe <manish.badarkhe@arm.com> Thu Jul 27 10:12:35 2023 +0200
committer Manish V Badarkhe <manish.badarkhe@arm.com> Thu Jul 27 11:30:56 2023 +0200
tree 4679f21309929dc776be72d1f40424eb95423e25
parent 651c0393f411b6bf5da82f0b54553a513107342e

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

.readthedocs.yaml

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 6207066..e3a7ebf 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -24,3 +24,8 @@
 
 sphinx:
   configuration: docs/conf.py
+
+# Auxiliary formats to export to (in addition to the default HTML output).
+formats:
+  - pdf
+