The DocBook XSL stylesheets contain a specialized output target for the Eclipse Packages. Eclipse documentation is essentially HTML documentation packaged up with a suitable Eclipse plugin.xml file so that the extracted directory can be dropped onto the users plugins directory.

The plugin registers the toc.html file as the root of the MySQL documentation, and adds the name and title of the documentation (and version) to the plugin details.