[PATCH 0/6] api.prefix: doc and push parsers

[Akim Demaille]

Some clean-ups, some coverage improvements and related fixes.
I expect to release a beta soon.

Akim Demaille (6):
  gnulib: update.
  api.prefix: improve the documentation for YYDEBUG.
  NEWS: minor changes.
  skeletons: style changes.
  api.prefix: strengthen the tests and fix push-parsers.
  api.prefix: incompatible with %name-prefix.

 NEWS             |  4 +--
 bootstrap        | 11 +++----
 cfg.mk           |  2 +-
 data/bison.m4    | 42 +++++++++++++++------------
 data/yacc.c      | 19 +++++++-----
 doc/bison.texi   | 88 +++++++++++++++++++++++++++++++++++++++-----------------
 gnulib           |  2 +-
 m4/.gitignore    |  1 +
 tests/calc.at    | 37 +++++++++++++-----------
 tests/headers.at | 86 ++++++++++++++++++++++++++++++------------------------
 tests/input.at   | 31 +++++++++++++++++++-
 tests/local.at   |  2 +-
 12 files changed, 209 insertions(+), 116 deletions(-)

-- 
1.7.11.1