diff options
| author | Nick Roberts | 2005-05-24 04:42:37 +0000 |
|---|---|---|
| committer | Nick Roberts | 2005-05-24 04:42:37 +0000 |
| commit | dd6700eb238e130d8f32d30df33d03eaf41d6e84 (patch) | |
| tree | 16f7afc63046223d92b0f65f21dabb207d96fbcb | |
| parent | cb5db137cc06660e82ce04f54742677b17608000 (diff) | |
| download | emacs-dd6700eb238e130d8f32d30df33d03eaf41d6e84.tar.gz emacs-dd6700eb238e130d8f32d30df33d03eaf41d6e84.zip | |
(Debugger Operation): Simplify last sentence.
| -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 |