diff --git a/Jenkinsfile b/Jenkinsfile index 373967b..69f224c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -53,7 +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" archiveArtifacts 'pip_doc.zip' + archiveArtifacts 'pip_doc.qhp' } } } diff --git a/pip b/pip index 988ebac..86b2530 160000 --- a/pip +++ b/pip @@ -1 +1 @@ -Subproject commit 988ebac3b74c09db2ab4b5f4f1981365ccfdd184 +Subproject commit 86b25303ef4ac78e639564cd2aa2901b9a77aeb2