To export, select
-> -> from the Eclipse menu and specify an output file.HTML export settings can be changed in the Source Formatter preference page.
For HTML export to work, a working Source Formatter is needed (see the section called “Source Formatter”).