Back in July, we made an Eclipse documentation plug-in of the MySQL manuals available for users to download.
In truth, the Eclipse documentation format is actually just HTML; you have to combine the HTML with a plug-in manifest that details the documentation, version number etc so that the documentation is loaded and identified as a valid plug-in element when Eclipse is started.