The XML source can be transformed using various tools. For the time being the "official" way is to use the convert.sh script. It uses xsltproc for the hard work, along with mgw-manual.xsl that sets some variables that influence the resulting HTML.

So to compile the sources, just do this:

      cd docs/
      convert.sh
    

to generate HTML output in the HTML directory under docs/.