Removing the building of the docs
    
    It seems like there's an issue in pagure
    (https://pagure.io/pagure/issue/3919) that is blocking the build of our
    documentation. Let's disable this step for now, because this is blocking
    our release.