diff --git a/Jenkinsfile2 b/Jenkinsfile2
index 4a70a3e80c..3229ffcbca 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -74,7 +74,7 @@ def check_docs() {
         }
         script {
             sh '''
-                echo ${file_changed} > ${WK}/../log/${BRANCH_NAME}_${BUILD_ID}
+                echo ${file_changed} > ${WK}/../log/${BRANCH_NAME}_${BUILD_ID}/docs_changed.txt
             '''
         }        
     }