On 10/11/20 5:49 pm, Sebastian Huber wrote:
> Maybe we should remove the manual edit part entirely:
>
> .. This file is part of the RTEMS quality process and was automatically
> .. generated. If you find something that needs to be fixed or worded better
> .. please post a report or patch to an RT
On 10/11/2020 00:03, Chris Johns wrote:
On 10/11/20 1:47 am, Sebastian Huber wrote:
The manager documentation is a consolidation of the comments in Doxygen
markup and the documentation sources in Sphinx markup. The
documentation was transfered to interface specification items. This
header fil
On 10/11/20 1:47 am, Sebastian Huber wrote:
> The manager documentation is a consolidation of the comments in Doxygen
> markup and the documentation sources in Sphinx markup. The
> documentation was transfered to interface specification items. This
> header file was generated from the items by a
