[PATCH 0/3] {maint} maintenance issues with DOT

[Akim Demaille]

Minor changes, to ensure that die with a clear diagnostic if
dot is not present, and to make self-contained tarballs that
do not require dot.

We still have a problem with make web-manual, as was pointed
out by Théophile, but that's to be dealt with from the
gendocs.sh side.

I just discovered that almost nothing about --xml is documented.
This has to be addressed before 2.7.

Akim Demaille (3):
  maint: check for dot before using it
  xml: slight improvement of the DOT output
  gnulib: update

 README-hacking        | 25 +++++++++++++------------
 configure.ac          |  1 +
 data/xslt/xml2dot.xsl |  6 +++++-
 doc/Makefile.am       | 17 ++++++++++-------
 gnulib                |  2 +-
 5 files changed, 30 insertions(+), 21 deletions(-)

-- 
1.7.12.2