[doc patch] path vs. directory separator [Re: [patch 2/2] Implement multi-component --with-auto-load-dir]

[Jan Kratochvil <jan dot kratochvil at redhat dot com>]

On Wed, 09 May 2012 19:47:07 +0200, Eli Zaretskii wrote:
> > +may be delimited by the host platform directory separator in use.
> 
> I believe the correct term is "path separator".  I suggest to say
> 
>   (@samp{:} on Unix, @samp{;} on Windows and DOS)
> 
> for clarity here, and not further down.

This means current doc needs there fixes, doesn't it?


Thanks,
Jan


gdb/doc/
2012-05-09  Jan Kratochvil  <jan.kratochvil@redhat.com>

	* gdb.texinfo (Separate Debug Files, Auto-loading safe path): Replace
	directory separator by path separator.

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index ad9edac..dac3a8d 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -1,39864 +1,39864 @@
 @node Separate Debug Files
-information files to @var{directory}.  Multiple directory components can be set
-concatenating them by a directory separator.
+information files to @var{directory}.  Multiple path components can be set
+concatenating them by a path separator.
 @node Auto-loading safe path
-The list of directories uses directory separator (@samp{:} on GNU and Unix
+The list of directories uses path separator (@samp{:} on GNU and Unix
-host platform directory separator in use.
+host platform path separator in use.