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

[Peter Hutterer]

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.

Cheers,
  Peter