In addition to the tools used to actually build and convert documentation into the various target formats, a number of additional tools and utilities have been developed that aid the build and production of documentation. Some of these tools relate to the build process and provide additional functionality or formatting. Others are used to aid in the validation.

For example, deepcheck.pl parses the DocBook XML file and looks for problematic constructs.

Note that the documentation tools are in the mysqldoc-toolset repository. (They used to be part of the mysqldoc repository.)

In this chapter we will look at some of the key tools that make up the documentation utilities.