diff options
| author | Ben Elliston <bje@gnu.org> | 2016-04-07 06:53:40 +1000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2016-04-07 06:53:40 +1000 |
| commit | 1de22bf567be9b0a1d9a2a9066f2f7e2f02563f4 (patch) | |
| tree | 361d9a39834ec52320b53adde76dda0ed7e5120e /doc | |
| parent | 284773caf2434586dbacd0823107e676c69a5666 (diff) | |
* doc/dejagnu.texi (rsh_exec procedure): Fix broken @node.
Reported by Faraz Shahbazker.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/dejagnu.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index 9c3981f..5dddf13 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -3857,7 +3857,7 @@ all information. @item @code{destfile} @end table -@node rsh_exec procedure, ftp_open procedure, rsh_upload procedure, connprocs +@node rsh_exec procedure, ssh_close procedure, rsh_upload procedure, connprocs @subsubsection rsh_exec Procedure |