[PATCH 0/2] doc style improvements

[Akim Demaille]

Akim Demaille (2):
  doc: use colors
  doc: use svg instead of png

 doc/bison.texi | 144 ++++++++++++++++++++++++++-----------------------
 doc/local.mk   |  19 ++++---
 2 files changed, 90 insertions(+), 73 deletions(-)

-- 
2.21.0