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