[inigoesdr]

You can download the documentation here: http://dev.mysql.com/doc/ Or are you referring to the scripts that generate it?

[darnaut]

I'm referring to the source code that is used to build and generate the documentation available in that link. The MySQL documentation is written using the DocBook XML format.

Here is a link to an older version of the page where the documentation was available: http://web.archive.org/web/20121030130559/http://dev.mysql.c...

See "Documentation Repositories".