* doc/dejagnu.texi (Customizing DejaGnu): Document error handling

	of the $DEJAGNU environment variable (see change below).

diff --git a/ChangeLog b/ChangeLog
index 5bb6b99..900ba16 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2018-11-22  Ben Elliston  <bje@gnu.org>
+
+       * doc/dejagnu.texi (Customizing DejaGnu): Document error handling
+       of the $DEJAGNU environment variable (see change below).
+
 2018-11-22  Jacob Bachmeyer  <jcb62281@gmail.com>
 
        * runtest.exp: Raise error if $DEJAGNU is defined but not found.

diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi
index 96f0141..70b5c0e 100644 (file)
--- a/doc/dejagnu.texi
+++ b/doc/dejagnu.texi
@@ -963,7 +963,8 @@ values that apply to DejaGnu site-wide.  @code{runtest} loads these
 values first. The global @file{site.exp} contains the default values for
 all targets and hosts supported by DejaGnu. This global file is
 identified by setting the environment variable @code{DEJAGNU} to the
-name of the file.
+name of the file. If @code{DEJAGNU} is set, but the file cannot be
+located, an error will be raised and @code{runtest} will abort.
 
 Any directory containing a configured testsuite also has a local
 @file{site.exp}, capturing configuration values specific to the tool