[PATCH 00/18] doc: misc improvements

[Peter Hutterer]

About half of those are Tiago's patches that I took from the list/his repo
that hadn't been merged yet. The rest are largely style fixes to improve on
the html/pdf output generated by publican.

Possibly controversial: 14/18, renaming the source directory but imo it
makes things a lot more obvious.

Most of this work is to have server documentation based on the xml format,
and man pages auto-generated from doxygen. Those patches will go out
separately.

Cheers,
  Peter