diff options
| -rw-r--r-- | ChangeLog | 6 | ||||
| -rw-r--r-- | doc/dejagnu.texi | 4 |
2 files changed, 8 insertions, 2 deletions
@@ -1,3 +1,9 @@ +2016-04-08 Ben Elliston <bje@gnu.org> + + Reported by Faraz Shahbazker. + * doc/dejagnu.texi (Global config file): Fix broken @node. + (Local config file): Likewise. + 2016-04-07 Ben Elliston <bje@gnu.org> * lib/remote.exp (remote_exec): Join cd $remotedir and $program on diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index 5dddf13..6c92c51 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -993,7 +993,7 @@ command line. * Config file values:: @end menu -@node Global config file, Board config file, Local config file, Customizing DejaGnu +@node Global config file, Local config file, , Customizing DejaGnu @section Global config file The global configuration file is where all the target specific @@ -1053,7 +1053,7 @@ initial comma so that the set of combinations includes no options at all. Needless to say, this last target example is mostly specific to compiler testing. -@node Local config file, Global config file, , Customizing DejaGnu +@node Local config file, Board config file, Global config file, Customizing DejaGnu @section Local config file It is usually more convenient to keep these @emph{manual overrides} in |