...
I converted some of the docs to docbook XML and then on to XHTML (download the source and results here: dspace^dspace-docbook.tar.bz2) as an experiment, and I quite like the result. I have tried converting the technical documentation into docbook as per:
http://wiki.docbook.org/topic/Html2DocBook
But there seems to be some issues with the table conversions after bringing the HTML 4.0 up to XHTML 1.0 (strict) using Tidy. I'm not sure what the problem is, but it would be a nuisance to have to do this all by hand in the first instance.
...