* gdb.texinfo: Refer to file names, not path names, per rms
convention.
+ (Arguments): Fix typo.
Thu Mar 24 08:09:12 1994 Jim Kingdon (kingdon@lioth.cygnus.com)
@code{run} command. They are passed to a shell, which expands wildcard
characters and performs redirection of I/O, and thence to your program.
Your @code{SHELL} environment variable (if it exists) specifies what
-shell @value{GDBN} if you do not define @code{SHELL}, @value{GDBN} uses
-@code{/bin/sh}.
+shell @value{GDBN} uses. If you do not define @code{SHELL},
+@value{GDBN} uses @code{/bin/sh}.
@code{run} with no arguments uses the same arguments used by the previous
@code{run}, or those set by the @code{set args} command.