Re: [PATCH v4 3/3] dts: add API doc generation

Reviewed-by: Luca Vizzarro Tested-by: Luca Vizzarro

[PATCH v4 3/3] dts: add API doc generation

The tool used to generate DTS API docs is Sphinx, which is already in use in DPDK. The same configuration is used to preserve style with one DTS-specific configuration (so that the DPDK docs are unchanged) that modifies how the sidebar displays the content. Sphinx generates the documentation from