Document log_output >stdout and >stderr.

Change-Id: I29631d9a6058fffff4d3a5b35329cc6a56ec1eea
This commit is contained in:
Tim Newsome 2019-02-21 12:45:09 -08:00
parent ae25286c87
commit 7072f92513
1 changed files with 3 additions and 2 deletions

View File

@ -7702,8 +7702,9 @@ echo "Downloading kernel -- please wait"
@end deffn
@deffn Command log_output [filename]
Redirect logging to @var{filename};
the initial log output channel is stderr.
Redirect logging to @var{filename}. If @var{filename} is >stdout or >stderr,
then logging is redirected to stdout and stderr respectively.
The initial log output channel is stderr.
@end deffn
@deffn Command add_script_search_dir [directory]