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 2182cccd8b9..c362b817034 100644 --- a/man/building.texi +++ b/man/building.texi | |||
| @@ -518,7 +518,7 @@ value is displayed in the echo area. | |||
| 518 | With GDB in text command mode (@pxref{GDB Graphical Interface}), | 518 | With GDB in text command mode (@pxref{GDB Graphical Interface}), |
| 519 | it is possible that use of GUD tooltips can cause a function to be | 519 | it is possible that use of GUD tooltips can cause a function to be |
| 520 | called with harmful side-effects. In this case, Emacs disables | 520 | called with harmful side-effects. In this case, Emacs disables |
| 521 | gud-tooltip-mode. | 521 | them. |
| 522 | 522 | ||
| 523 | @node Commands of GUD | 523 | @node Commands of GUD |
| 524 | @subsection Commands of GUD | 524 | @subsection Commands of GUD |