On Sun, 2006-05-14 at 20:18 +0100, Richard Hughes wrote:
> Sure? The XML file is "docbook" format so DOCBOOK seems the right name
> even if we are not using docbook2html.
>
> I can do which ever you want.
The tool is called xmlto so I think we should be using that. Thanks.
David