diff options
| -rw-r--r-- | man/building.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/building.texi b/man/building.texi index 85a85302fec..f3a9abc58f4 100644 --- a/man/building.texi +++ b/man/building.texi | |||
| @@ -494,7 +494,7 @@ Only useful in a source buffer, (@code{gud-jump}) relocates the next | |||
| 494 | instruction to the current line at point in a source buffer. If the | 494 | instruction to the current line at point in a source buffer. If the |
| 495 | new execution line is in a different function from the previously one, | 495 | new execution line is in a different function from the previously one, |
| 496 | you will be prompted for confirmation since the results may be | 496 | you will be prompted for confirmation since the results may be |
| 497 | bizarre. See the GDB manual entry regarding @cod{jump} for details. | 497 | bizarre. See the GDB manual entry regarding @code{jump} for details. |
| 498 | @end table | 498 | @end table |
| 499 | 499 | ||
| 500 | These commands interpret a numeric argument as a repeat count, when | 500 | These commands interpret a numeric argument as a repeat count, when |