diff options
| -rw-r--r-- | man/building.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/building.texi b/man/building.texi index 112c5d0a18b..82ee57e8592 100644 --- a/man/building.texi +++ b/man/building.texi | |||
| @@ -530,6 +530,7 @@ allowed. GUD assumes that the first argument not starting with a | |||
| 530 | Tramp provides a facility to debug programs on remote hosts. | 530 | Tramp provides a facility to debug programs on remote hosts. |
| 531 | @xref{Running a debugger on a remote host, Running a debugger on a remote host,, tramp, The Tramp Manual}. | 531 | @xref{Running a debugger on a remote host, Running a debugger on a remote host,, tramp, The Tramp Manual}. |
| 532 | @c Running a debugger on a remote host | 532 | @c Running a debugger on a remote host |
| 533 | |||
| 533 | @node Debugger Operation | 534 | @node Debugger Operation |
| 534 | @subsection Debugger Operation | 535 | @subsection Debugger Operation |
| 535 | 536 | ||