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 theme,
> a check is added to make the specific configuration optional.
>
> Fixes: 7f9326423a04 ("dts: add API doc generation")
>
> Signed-off-by: Thomas Monjalon <tho...@monjalon.net>
> Signed-off-by: Robin Jarry <rja...@redhat.com>
Was applied quickly to fix the build.
