Remove boost-doc-tools from boost.xml