Fix paths

xmos · Apr 28, 2021 · 94663d6 · 94663d6
1 parent a42c916
commit 94663d6
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -41,11 +41,11 @@ pipeline {
           forAllMatch("${REPO}/examples", "AN*/") { path ->
             runXdoc("${path}/doc")
           }
-          runXdoc("${REPO}/${REPO}/doc")
-
-          // Archive all the generated .pdf docs
-          archiveArtifacts artifacts: "${REPO}/**/pdf/*.pdf", fingerprint: true, allowEmptyArchive: true
+          runXdoc("${REPO}/doc")
         }
+        // Archive all the generated .pdf docs
+        archiveArtifacts artifacts: "${REPO}/**/pdf/*.pdf", fingerprint: true, allowEmptyArchive: true
+
       }
     }
   }