This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [RFA/doco] document support for Ravenscar profile
> 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.