diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | doc/dejagnu.texi | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2016-04-07 Ben Elliston <bje@gnu.org> + + Reported by Faraz Shahbazker. + * doc/dejagnu.texi (rsh_exec procedure): Fix broken @node. + 2016-04-06 Yvan Roux <yvan.roux@linaro.org> * lib/remote.exp (remnote_download): Create a remote directory if 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 |