The rewritten documentation can be translated to HTML using just a standard xsltproc tool (available for both Cygwin & Linux) and XSLT DocBook stylesheet. The main advantage of XML version is that there is already developed XSLT stylesheet which generates input for Microsoft HTML Help Compiler. ... I think that this will made GHC documentation much more easy for reading and browsing.
I would strongly support such a change.
Me too, I'm happy for us to move to DocBook/XML if that would give us more functionality and compatibility with existing tools, and it seems that this is the case. I imagine the updated docs will continue to work with an existing DocBook system as long as the DocBook 4 DTD is installed? If that's the case, would you like to commit your changes Krasimir? Cheers, Simon