Re: [PATCH] Document how GDB searches for files when using -s, -e, and -se options

[Eli Zaretskii <eliz@gnu.org>]

> Date: Thu,  2 Jun 2022 15:40:40 -0700
> From: Kevin Buettner via Gdb-patches <gdb-patches@sourceware.org>
> 
> GDB's documentation of the 'file' command says:
> 
>     If you do not specify a directory and the file is not found in the
>     GDB working directory, GDB uses the environment variable PATH as a
>     list of directories to search, just as the shell does when looking
>     for a program to run.
> 
> The same is true for files specified via commandline options -s, -e,
> and -se.
> 
> This commit adds similar text to the section of the manual which
> discusses these commandline options.

Thanks.  I don't think we need to repeat the same description in the
"File Options" section, we just need to mention this shortly and add a
cross-reference to where the 'file' command's description explains
that.

> +For the @samp{-s}, @samp{-e}, and @samp{-se} options, and their long
> +form equivalents, if @var{file} does not specify a directory as a
> +component of the filename and the file is not found in the
> +@value{GDBN} working directory, @value{GDBN} uses the environment
> +variable @env{PATH} as a list of directories to search, just as the
> +shell does when looking for a program to run.  The search algorithm
> +used for these options is identical to that used by the
> +@code{symbol-file}, @code{exec-file}, and @code{file} commands.

Could you please rewrite the above to be shorter and have a
cross-reference?