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 /doc | |
| parent | a5fe563337dd18f64a9e291764d6ddf16d681578 (diff) | |
* doc/dejagnu.texi (Global config file): Fix broken @node.
(Local config file): Likewise.
Reported by Faraz Shahbazker.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/dejagnu.texi | 4 |
1 files changed, 2 insertions, 2 deletions
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 |