diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-11-07 18:16:51 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-11-09 07:54:32 +0100 |
commit | 008d927f71230cac2390511b459f7d1d2b612e9b (patch) | |
tree | 6ab55f817029c2aaeef944281a2a1b32c2e94777 /doc | |
parent | 1650c729d90a4afedee6ae8952eb69eb1aad3cf4 (diff) | |
download | bison-008d927f71230cac2390511b459f7d1d2b612e9b.tar.gz |
doc: use upper case for tokens
* doc/bison.texi: here.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/bison.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |