diff --git a/Jenkinsfile b/Jenkinsfile
index b5834e8..c69e580 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -19,7 +19,8 @@ stage("Build Toolbox") {
 		    checkout scm
 	            sh 'git submodule update --init'
 		    sh 'pip3 install -r ./CI/gen_doc/requirements_doc.txt'
-		    sh 'make -C ./CI/gen_doc doc_ml'
+		    sh 'rm -rf doc || true'
+                    sh 'make -C ./CI/gen_doc doc_ml'
 		    sh 'make -C ./CI/scripts build'
 		    sh 'make -C ./CI/scripts gen_tlbx'
 		}