Re: [doc patch] Use plural for global debug info dir(s)

[Eli Zaretskii <eliz@gnu.org>]

> Date: Sat, 12 May 2012 11:02:27 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> 
> since
> 	commit 36ae52d16cc9d38cfe317a79bb5d63c624359154
> 	Author: Jan Kratochvil <jan.kratochvil@redhat.com>
> 	Date:   Mon Nov 2 14:59:48 2009 +0000
> 
> GDB supports multiple paths specified in 'set debug-file-directory'.
> Documentation is still inconsistent in this regard.

Thanks for catching this.

>  For the ``debug link'' method, @value{GDBN} looks up the named file in
>  the directory of the executable file, then in a subdirectory of that
>  directory named @file{.debug}, and finally under the global debug
> -directory, in a subdirectory whose name is identical to the leading
> +directories, in a subdirectory whose name is identical to the leading
>  directories of the executable's absolute file name.

I would rephrase slightly

		      ... and finally under each one of the global debug
   directories, in a subdirectory whose name is identical to the leading
   directories of the executable's absolute file name.

>  For the ``build ID'' method, @value{GDBN} looks in the
> -@file{.build-id} subdirectory of the global debug directory for a file
> +@file{.build-id} subdirectory of the global debug directories for a file
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Likewise here: "of each one of the global debug directories".

> -@code{abcdef1234}.  If the global debug directory is
> +@code{abcdef1234}.  If the global debug directories path component is
>  @file{/usr/lib/debug}, then @value{GDBN} will look for the following
>  debug information files, in the indicated order:

   If the list of the global debug directories includes
   @file{/usr/lib/debug}, then @value{GDBN} will look ...

> -You can set the global debugging info directory's name, and view the
> +You can set the global debugging info directories, and view the
>  name @value{GDBN} is currently using.
   ^^^^
I would use "list" here, as it's no longer a single name.

OK with those changes.