doc: style changes

[bison.git] / doc / bison.texi

diff --git a/doc/bison.texi b/doc/bison.texi
index 2ed10c2f7c5af0c50e629234002f3bb482d8ae57..6f50658ac9cae0272acacdb3a3913b095c576d7f 100644 (file)
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -4990,10 +4990,8 @@ For example:
 
 @example
 %union @{ char *string; @}
-%token <string> STRING1
-%token <string> STRING2
-%type  <string> string1
-%type  <string> string2
+%token <string> STRING1 STRING2
+%type  <string> string1 string2
 %union @{ char character; @}
 %token <character> CHR
 %type  <character> chr
@@ -5119,10 +5117,8 @@ For example:
 
 @example
 %union @{ char *string; @}
-%token <string> STRING1
-%token <string> STRING2
-%type  <string> string1
-%type  <string> string2
+%token <string> STRING1 STRING2
+%type  <string> string1 string2
 %union @{ char character; @}
 %token <character> CHR
 %type  <character> chr