Re: [PATCH] doc: fix Sphinx build without RTD theme

2024-10-18 Thread Thomas Monjalon
17/10/2024 19:14, Thomas Monjalon: > DTS is using a specific configuration of Sphinx > which is supported only with the theme Read The Docs. > If not available, this error may be seen: > unsupported theme option 'collapse_navigation' given > > In order to allow doc generation without this th

[PATCH] doc: fix Sphinx build without RTD theme

2024-10-17 Thread Thomas Monjalon
DTS is using a specific configuration of Sphinx which is supported only with the theme Read The Docs. If not available, this error may be seen: unsupported theme option 'collapse_navigation' given In order to allow doc generation without this theme, a check is added to make the specific co