Accept --report-file=FILE to override the default `.output' filename.

[bison.git] / doc / bison.texinfo

diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 8268783f5dbcce0b50ca2fa924a0522cc1358cc3..9d0da773eb75ebef0bc91b66f03ade79f5beddf0 100644 (file)
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -7827,6 +7827,9 @@ Implies @code{state} and augments the description of the automaton with
 the full set of items for each state, instead of its core only.
 @end table
 
+@item --report-file=@var{file}
+Specify the @var{file} for the verbose description.
+
 @item -v
 @itemx --verbose
 Pretend that @code{%verbose} was specified, i.e., write an extra output