commit 008d927f71230cac2390511b459f7d1d2b612e9b Author: Akim Demaille <[email protected]> Date: Thu Nov 7 18:16:51 2019 +0100
doc: use upper case for tokens
* doc/bison.texi: here.
diff --git a/doc/bison.texi b/doc/bison.texi
index 58597538..2baadc7e 100644
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -4910,7 +4910,7 @@ the literal string at the end of a @code{%token}
declaration which declares
the name. For example:
@example
-%token arrow "=>"
+%token ARROW "=>"
@end example
@noindent
