[PATCH 0/6] {master} prepare the documentation for api.value.type

[Akim Demaille]

I am still in the process of finish the migration to api.value.type,
but I have to delay the work on this for a while.  Meanwhile, here are
a few patches extracted from the work in progress.

Pushed in master.

Akim Demaille (6):
  gnulib: update
  todo: remove erroneous task
  doc: fix html build
  java: stype is obsoleted by api.value.type
  doc: minor completion and fixes
  doc: use deffn to declare the list of %define variables

 NEWS             |  17 ++++----
 TODO             |   4 --
 bootstrap        |  15 ++++----
 data/java.m4     |   4 +-
 doc/bison.texi   | 115 +++++++++++++++++++++++++++++--------------------------
 doc/local.mk     |   2 +-
 gnulib           |   2 +-
 m4/.gitignore    |   1 -
 src/muscle-tab.c |   1 +
 tests/input.at   |   9 +++--
 tests/java.at    |  14 +++----
 11 files changed, 96 insertions(+), 88 deletions(-)

-- 
1.8.0.2