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 3fedbfed674..28ea5ec3dc3 100644 --- a/man/building.texi +++ b/man/building.texi | |||
| @@ -907,7 +907,7 @@ places. | |||
| 907 | 907 | ||
| 908 | @c @findex gdb-mouse-set-clear-breakpoint | 908 | @c @findex gdb-mouse-set-clear-breakpoint |
| 909 | @c @findex gdb-mouse-toggle-breakpoint | 909 | @c @findex gdb-mouse-toggle-breakpoint |
| 910 | Many GDB commands can be entered using keybindings or the tool bar but | 910 | Many GDB commands can be entered using key bindings or the tool bar but |
| 911 | sometimes it is quicker to use the fringe. These commands either | 911 | sometimes it is quicker to use the fringe. These commands either |
| 912 | manipulate breakpoints or control program execution. When there is no | 912 | manipulate breakpoints or control program execution. When there is no |
| 913 | fringe, you can use the margin but this is only present when the | 913 | fringe, you can use the margin but this is only present when the |