]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: baf2238) | patch
doc: fix environment issues.
authorAkim Demaille <demaille@gostai.com>
Thu, 23 Feb 2012 16:50:29 +0000 (17:50 +0100)
committerAkim Demaille <demaille@gostai.com>
Thu, 23 Feb 2012 16:53:08 +0000 (17:53 +0100)
commit71b52b1342c65a5497f6b3780481ff2deb932a56
tree7aed1c21d089249994d7e6d2cb374e4994975c39tree | snapshot
parentbaf22389ef0e1f2c83c2ae8190e060d3617c1e4bcommit | diff
doc: fix environment issues.

* 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.
doc/bison.texinfo diff | blob | blame | history
bison