[RFA/doco] document support for Ravenscar profile

Eli Zaretskii eliz@gnu.org
Fri Sep 24 14:42:00 GMT 2010


> Date: Thu, 23 Sep 2010 14:56:39 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: gdb-patches@sourceware.org
> 
> > This part is okay, but please add a sentence pointing to the new
> > section in the manual which describes the details.
> 
> I've added a quick sentence. Let me know if this enough.

It's enough, thanks.

> Also, I should say that I deliberately avoided listing the new
> commands in the NEWS files, because I think they are pretty obscure
> and only likely to be used in emergency situations.

Yes, I agree.

> > Instead of 2 @cindex entries, I'd just leave one:
> > 
> >   @cindex task switching with program using Ravenscar Profile
> 
> Changed accordingly.  I am wondering whether it would sound better
> if we add 'the' before 'Ravenscar Profile'.

Actually, index entries should be as short as possible, and don't have
to be complete sentences, so

  @cindex task switching, and Ravenscar Profile

is even better.  The idea is to have all the necessary keywords that a
reader might think about, and minimum general words beyond that.

> Here is a new version.

It's fine with me, thanks.



More information about the Gdb-patches mailing list