From 242d3113c09d10ba9a11dbcc05e0310a1e7568af Mon Sep 17 00:00:00 2001 From: Mike Fiedler Date: Sat, 23 Dec 2023 16:16:50 +0000 Subject: [PATCH] docs: specify sphinx dirhtml builder With the requirement of a configuration file, the default builder of `dirhtml` that RTD used to use is no longer specified. This leads to URLs ending in `.html` now, which breaks other exisitng references. Refs: #6603 Refs: https://docs.readthedocs.io/en/stable/config-file/v2.html#sphinx-builder Refs: https://www.sphinx-doc.org/en/master/usage/builders/index.html#sphinx.builders.dirhtml.DirectoryHTMLBuilder Signed-off-by: Mike Fiedler --- .readthedocs.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.readthedocs.yaml b/.readthedocs.yaml index dd3fb9d3ba..0e2c719e08 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -13,6 +13,7 @@ build: # Build documentation in the "docs/" directory with Sphinx sphinx: configuration: docs/conf.py + builder: "dirhtml" # Optionally build your docs in additional formats such as PDF and ePub formats: