diff --git a/Jenkinsfile b/Jenkinsfile
index 1a002f3d..13535d93 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -102,7 +102,8 @@ pipeline {
             withVenv {
               dir("doc/python") {
                 sh "python -m doc_asrc.py"
-                archiveArtifacts artifacts: "_build", allowEmptyArchive: true
+                sh "ls -lrt _build/*"
+                archiveArtifacts artifacts: "_build/**/*", allowEmptyArchive: true
               }
             }
           }