[PATCH 0/4] documentation move from .tex to docbook

[Kristian Hoegsberg]

On Thu, Mar 29, 2012 at 10:50:09AM +1000, Peter Hutterer wrote:
> 
> This moves the documentation into the docbook sources, removing the need for
> the .tex file. Because the current docbook also includes some parts copied
> from the website, the first three chapters are somewhat redundant.

Nice, looks good, the documentation infrastructure is shaping up fast.

Kristian