The MySQL GUI tools have been available as a suite of all tools for quite a while (http://dev.mysql.com/downloads/gui-tools/5.0.html). Therefore, it seemed logical to also provide a single manual covering all tools (MySQL Administrator, MySQL Query Browser, MySQL Migration Toolkit, and MySQL Workbench). We've done this now, and will remove the individual manuals once we're able to provide all formats. At the moment, we're providing PDF only: See http://dev.mysql.com/doc/#gui-tools.
Combining the individual manuals into one GUI tools book has become possible due to our newly created ID mapping machinery. It allows us to compile customised documentation out of anything that's a DocBook XML file. The main problem is that there will be broken links in that customised document, and that's what the mapping machinery takes care of. With this in place, we could even create a customised manual that would consist of the introduction to the MySQL server, the GUI tools' table editor, and a chapter from the Cluster NDB API manual. Not that this would necessarily make a lot of sense ... But if you have a need for a senseful combination of MySQL documentation excerpts, don't hesitate to ask us for this! If it's possible to create (there are still a few limitations), we'll make it available to you, and/or to the general public. Regards, Stefan -- Stefan Hinz <[EMAIL PROTECTED]> MySQL AB Documentation Team Lead. Berlin, Germany (UTC +2:00) Skype:stefanhinz Cell:+491777841069 Desk:+493082702940 Fax:+493082702941 -- MySQL General Mailing List For list archives: http://lists.mysql.com/mysql To unsubscribe: http://lists.mysql.com/[EMAIL PROTECTED]