Tool for generating HTML from Eiffel code?

"m_stolpe" <[email protected]>
Newsgroups gmane.comp.lang.eiffel.gobo.general
Message-ID <[email protected]> 
Taking a look at the documentation of the structure library, I asked
myself what tools were used to generate HTML from Eiffel code. For
example, "structure/flatshort/ds_indexable.html" shows the syntax
highlighted interface of this class - how was that HTML generated, please?

Since I'm new to Eiffel, I haven't seen much documentation generated
with ISE, VE or SE yet. Were any tools shipped with those compilers
used at all? I think it would be great to include a documentation
generation tool also in Gobo. In that way one could produce unique
documentation for Eiffel classes independent from the tools of any
particular compiler.

Thanks, Marco
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.