diff options
author | Akim Demaille <demaille@gostai.com> | 2012-02-23 17:50:29 +0100 |
---|---|---|
committer | Akim Demaille <demaille@gostai.com> | 2012-02-23 17:57:31 +0100 |
commit | ab8932bfd9f66643eef907d8aad70e7af2bf5841 (patch) | |
tree | b72c036f7f8e2786a0412f5b9993ee182d1bbbba /lib | |
parent | 6c6f6f4b23940161c0595dc7c6bb2757fac2aaa1 (diff) | |
download | bison-branch-2.5.tar.gz |
doc: fix environment issues.branch-2.5
* doc/bison.texinfo: Do not use @verbatim, in particular when
we use @group inside.
Use @quotation instead of @display for frequently asked questions,
it looks much nicer.
(cherry picked from commit 71b52b1342c65a5497f6b3780481ff2deb932a56)
Conflicts:
doc/bison.texinfo
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions