This will ease editing the documentation. For now only a HTML output is
generated.

Signed-off-by: Michael Walle <michael@walle.cc>