> > +It is possible to adjust the behavior of the testsuite by defining
> > +the global variables listed below, either in a @file{site.exp} file,
> > +or in a @file{board} file.
> 
> I learn that "board" is the name of a file, is that right?  If so,
> then please give the @file markup to its 2 other instances, inside the
> @footnote:

Hmmm, that's a good question. As far as my understanding of these things
goes, I think I made a mistake in my text.  The correct terms should
be either a "board file" (no @file markup), because "board" is not the
name of a file.  We could have used "@file{boards} files" with boards
being a reference to the directory where the board files are stored,
but as far as I can tell from the dejagnu documentation, this is just
a convention at best - this seems to be something entirely configurable
although the dejagnu documentation is quite vague about it (I couldn't
find a single line of text explaining the significance of this directory
or how dejagnu even locates it - using "boards_dir"?).

I think "board file" is what we should use.  Attached is the revised
version (the only change was to remove the one @file markup for board).

-- 
Joel