Update docs build for changes to bdd-dox