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 RTEMS mailing list or raise a bug > .. report: > .. > .. https://docs.rtems.org/branches/master/user/support/bugs.html > .. > .. For information on updating and regenerating please refer to: > .. > .. https://docs.rtems.org/branches/master/eng/req/howto.html
Nice. Thanks Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
