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 DocBo

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.com/doc/index-other.html http://web.archive.org/web/20121030130559/http://dev.mysql.c... See "Documentation Repositories".