Fixes for when HADDOCK_DOCS=NO