Create HTML and ASCII versions of the documentation using docbook now.