Fixed the docs to build with docbook