Jenkinsfile doc, PIP

2020-05-28 17:32:31 +03:00
parent b8e4e7203f
commit a7f182a7cb
2 changed files with 3 additions and 1 deletions
--- a/2
+++ b/2
@@ -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'
 			}
 		}
 	}