log: let command "log_output" to set back its default
[fw/openocd] / doc / openocd.texi
index de7dceb78cce083c999680f2235c74d6313e2aa6..d059cfae280a2c2526b0ff9814981b28d4468517 100644 (file)
@@ -7791,9 +7791,9 @@ echo "Downloading kernel -- please wait"
 @end example
 @end deffn
 
-@deffn Command log_output [filename]
-Redirect logging to @var{filename};
-the initial log output channel is stderr.
+@deffn Command log_output [filename | "default"]
+Redirect logging to @var{filename} or set it back to default output;
+the default log output channel is stderr.
 @end deffn
 
 @deffn Command add_script_search_dir [directory]