diff --git a/Jenkinsfile b/Jenkinsfile index 5c739a7..d14f2cd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -64,12 +64,14 @@ pipeline { sh "rm -rf share" sh "rm -vf *.zip" sh "mkdir -p build" - sh "cd build && cmake -DLOCAL=1 -DCMAKE_INSTALL_PREFIX=`pwd` ../" - sh "cd build && make doc" + sh "cd build && cmake -DLOCAL=1 -DCMAKE_INSTALL_PREFIX=`pwd` -DDOC_LANG=English -DDOC_DIR=en ../ && make doc" + sh "cd build && cmake -DLOCAL=1 -DCMAKE_INSTALL_PREFIX=`pwd` -DDOC_LANG=Russian -DDOC_DIR=ru ../ && make doc" sh "cd share/doc && zip -r ../../pip_doc.zip pip" - sh "cp share/doc/pip/html/pip.qch ./" + sh "cp share/doc/pip/html/en/pip_en.qch ./" + sh "cp share/doc/pip/html/ru/pip_ru.qch ./" archiveArtifacts 'pip_doc.zip' - archiveArtifacts 'pip.qch' + archiveArtifacts 'pip_en.qch' + archiveArtifacts 'pip_ru.qch' } } } diff --git a/pip b/pip index 2a877fb..7ef4321 160000 --- a/pip +++ b/pip @@ -1 +1 @@ -Subproject commit 2a877fbb6b7aba2c544104954acba88ee322360a +Subproject commit 7ef4321a3d4bcfeafa0796816108ada12820239f