diff options
author | Ben Elliston <bje@gnu.org> | 2016-04-08 10:10:33 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-04-08 10:10:33 +1000 |
commit | edc6bd72d9c74230cf4336db3ca57b5596729d61 (patch) | |
tree | 5b719be348def9220a040b34d7bd4cc741ca8c4e | |
parent | a5fe563337dd18f64a9e291764d6ddf16d681578 (diff) | |
download | dejagnu-edc6bd72d9c74230cf4336db3ca57b5596729d61.zip dejagnu-edc6bd72d9c74230cf4336db3ca57b5596729d61.tar.gz dejagnu-edc6bd72d9c74230cf4336db3ca57b5596729d61.tar.bz2 |
* doc/dejagnu.texi (Global config file): Fix broken @node.
(Local config file): Likewise.
Reported by Faraz Shahbazker.
-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 |