Fix gdb.texinfo for old makeinfo

[deliverable/binutils-gdb.git] / gdb / doc / gdb.texinfo

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 096c82cc8214ce741af3e0f22d6a8f4aac085a3e..dba2fa766ab2162f593eea9ea6ef7559f0e7bd3d 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -2524,7 +2524,7 @@ Print the @value{GDBN} working directory.
 It is generally impossible to find the current working directory of
 the process being debugged (since a program can change its directory
 during its run).  If you work on a system where @value{GDBN} supports
-the @code {info proc} command (@pxref{Process Information}), you can
+the @code{info proc} command (@pxref{Process Information}), you can
 use the @code{info proc} command to find out the
 current working directory of the debuggee.