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”).