Add diagnostic output to manual build.

When documentation generation fails in the manual, include query profile
information in the failure output. This will help debugging queries that
fail in the documentation generation.