]> git.saurik.com Git - bison.git/commit
doc: add missing documentation for --report
authorAkim Demaille <akim@lrde.epita.fr>
Wed, 3 Oct 2012 06:43:10 +0000 (08:43 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Mon, 22 Oct 2012 10:16:08 +0000 (12:16 +0200)
commitc473e022d9865ba35101de1b9045458f9be45057
tree6f33f88316a53b4fce6bb991b55aac9a310fdb80
parent6192d2c6de859990f8e90c128de9733c1315db7a
doc: add missing documentation for --report

* doc/bison.texi (Bison Options): Document --report's "solved", "all",
and "none".
doc/bison.texi