From d48a646214d4675528d197636b8c67edf6ab404d Mon Sep 17 00:00:00 2001
From: Manish V Badarkhe <manish.badarkhe@arm.com>
Date: Thu, 27 Jul 2023 10:12:35 +0200
Subject: [PATCH] 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 | 5 +++++
 1 file changed, 5 insertions(+)

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
+