[ref_impl_eiffel] [492] AWB-71: Move the Export HTML option to the Repository menu, which makes more sense now that it acts upon the whole repository and is so tightly integrated with the Build options.

Revision: 492
Author: peter.gummer

Log Message: