diff --git a/Jenkinsfile b/Jenkinsfile
index e79bd67e..4c1b0e0d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -364,4 +364,3 @@ void publishDocs() {
     ./scripts/pydoc/publish-doc.sh
   '''
 }
-