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".