jenkins pip doc
This commit is contained in:
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
@@ -50,7 +50,7 @@ pipeline {
|
|||||||
sh "rm -rf share"
|
sh "rm -rf share"
|
||||||
sh "rm -vf *.zip"
|
sh "rm -vf *.zip"
|
||||||
sh "mkdir -p build"
|
sh "mkdir -p build"
|
||||||
sh "cd build && cmake -DLIB=0 -DCMAKE_INSTALL_PREFIX=`pwd` ../"
|
sh "cd build && cmake -DLOCAL=1 -DCMAKE_INSTALL_PREFIX=`pwd` ../"
|
||||||
sh "cd build && make doc"
|
sh "cd build && make doc"
|
||||||
sh "cd share/doc && zip -r ../../pip_doc.zip pip"
|
sh "cd share/doc && zip -r ../../pip_doc.zip pip"
|
||||||
sh "cp share/doc/pip/html/pip.qch ./"
|
sh "cp share/doc/pip/html/pip.qch ./"
|
||||||
|
|||||||
Reference in New Issue
Block a user