Don't let --report affect XML output; always print all information.

[bison.git] / doc / bison.1

diff --git a/doc/bison.1 b/doc/bison.1
index adb4344a67215f71754ede3a47f310cd554f145d..d8305c06f5a04e0d693292ac0569ddf179189db5 100644 (file)
--- a/doc/bison.1
+++ b/doc/bison.1
@@ -107,6 +107,9 @@ also produce a header file
 \fB\-r\fR, \fB\-\-report\fR=\fITHINGS\fR
 also produce details on the automaton
 .TP
+\fB\-\-report\-file\fR=\fIFILE\fR
+write report to FILE
+.TP
 \fB\-v\fR, \fB\-\-verbose\fR
 same as `\-\-report=state'
 .TP
@@ -163,8 +166,6 @@ disable the report
 Written by Robert Corbett and Richard Stallman.
 .SH "REPORTING BUGS"
 Report bugs to <bug\-bison@gnu.org>.
-.PP
-Id: ChangeLog,v 1.1748 2007/11/04 20:45:32 akim Exp
 .SH COPYRIGHT
 Copyright \(co 2007 Free Software Foundation, Inc.
 .br