diff --git a/Jenkinsfile b/Jenkinsfile index 19b1d7e..69f224c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -39,3 +39,24 @@ node { sh "docker system prune -f" echo "${_msg}" } +pipeline { + agent { + label 'master' + } + stages { + stage("PIP doc") { + steps { + checkout scm + sh "rm -rf share" + sh "rm -vf *.zip" + sh "mkdir -p build" + 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 6b9fa87..86b2530 160000 --- a/pip +++ b/pip @@ -1 +1 @@ -Subproject commit 6b9fa87570c22b7137d9ead68a1c662cf2416b75 +Subproject commit 86b25303ef4ac78e639564cd2aa2901b9a77aeb2