[PATCH 00/18] doc: misc improvements

[Kristian Høgsberg]

On Tue, Apr 02, 2013 at 10:08:54AM +1000, Peter Hutterer wrote:
> 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.

I like this change a lot, the - vs _ was odd.

> 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.

Some of these clashed with Matthias' changes, in particular 7, 8 and
10 didn't apply at all anymore.  The rest were easy enough to fix up
and have been applied.

Kristian