Merge remote-tracking branch 'origin/branch-2.6' into maint

[bison.git] / doc / bison.texi

diff --git a/doc/bison.texi b/doc/bison.texi
index 4cca4636eee7bda6c456d8ba5f1703cd0bee5a60..8f98aa5e421744eb0f9089a148a2200a5f6120b3 100644 (file)
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -11994,9 +11994,9 @@ London, Department of Computer Science, TR-00-12 (December 2000).
 @c LocalWords: subdirectory Solaris nonassociativity perror schemas Malloy ints
 @c LocalWords: Scannerless ispell american ChangeLog smallexample CSTYPE CLTYPE
 @c LocalWords: clval CDEBUG cdebug deftypeopx yyterminate LocationType
+@c LocalWords: errorVerbose
 
 @c Local Variables:
 @c ispell-dictionary: "american"
 @c fill-column: 76
 @c End:
-@c  LocalWords:  errorVerbose