Merge pull request 'Jenkinsfile' (#37) from master into release

2020-06-02 15:32:40 +03:00
parent e45464f480 14c8a359bd
commit 57c19a2e8c
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@@ -53,9 +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"
+				sh "cp share/doc/pip/html/pip.qch ./"
 				archiveArtifacts 'pip_doc.zip'
-				archiveArtifacts 'pip_doc.qhp'
+				archiveArtifacts 'pip.qch'
 			}
 		}
 	}