[PATCH v4] gdb/manual: Introduce location specs

[Eli Zaretskii]

> Date: Fri, 27 May 2022 20:30:06 +0100
> Cc: gdb-patches@sourceware.org
> From: Pedro Alves <pedro@palves.net>
> 
> On 2022-05-27 20:00, Eli Zaretskii wrote:
> 
> > What I was talking about was not about using the location specs, it
> > was about explaining what it is and how it differs from the code
> > location.  I think we have to explain the terminology before we use
> > it, since it is not entirely trivial.
> 
> OK, here's what I added on top of v4, locally.  WDYT?

LGTM, so I think this can go in, given the results of my review of the
rest of the patch (see my other message) are taken care of.

I will re-read this section after the changes are pushed, and decide
whether any additional clarifications are needed; if so, I will make
those changes later.

Thanks.