With edoc you can generate an HTML documentation based on an xace configuration file for your library or system.
just to let you know: there's also XML output in the works (by me :))
and a module to integrate the whole output into eiffelroom and origo, by Peter.
I've put a Github mirror of edoc on http://github.com/pgcrism/edoc.
Edoc has been adapted to latest (github) version of Gobo.
Some options not present in version 1.2 have been added.