diff --git a/Jenkinsfile b/Jenkinsfile index 69f224c..aa1dfb8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -53,9 +53,9 @@ pipeline { sh "cd build && cmake -DLIB=0 -DCMAKE_INSTALL_PREFIX=`pwd` ../" sh "cd build && make doc" sh "cd share/doc && zip -r ../../pip_doc.zip pip" - sh "cp share/doc/pip/html/index.qhp pip_doc.qhp" + sh "cp share/doc/pip/html/pip.qch ./" archiveArtifacts 'pip_doc.zip' - archiveArtifacts 'pip_doc.qhp' + archiveArtifacts 'pip.qch' } } }