2 Commits

Author	SHA1	Message	Date
Mike Fiedler	242d3113c0	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 <miketheman@gmail.com>	2023-12-23 16:16:50 +00:00
Nicola Soranzo	c7c2ebf1a7	Add now mandatory readthedocs config file ... Docs builds currently fail with: ``` Problem in your project's configuration. No default configuration file found at repository's root. See https://docs.readthedocs.io/en/stable/config-file/ ``` See e.g. https://readthedocs.org/projects/requests/builds/22842479/	2023-12-15 20:59:56 +00:00