[PATCH v2] c-user: Generate I/O Manager documentation

[Sebastian Huber]

On 05/10/2020 18:10, Gedare Bloom wrote:

>> +.. Generated from spec:/rtems/io/if/unregister-driver
>> +
>> +* :ref:`InterfaceRtemsIoUnregisterDriver` - Removes a device driver specified
>> +  by the device major number from the Device Driver Table.
> In the HTML, there is an extra line spacing between list elements.
> Probably because there are two blank lines around the comment, while
> the latex backend will merge those. I'd try removing the blank line
> between the comment "Generated from" and the generated content.
>
Thanks for spotting this. It seems the HTML output doesn't like the 
comments at all. I will add a comment block before the list.