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

Jenkinsfile
2020-06-02 15:32:40 +03:00 · 2020-06-02 15:31:47 +03:00
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'
 			}
 		}
 	}
Author	SHA1	Message	Date
Пелипенко Иван	57c19a2e8c	Merge pull request 'Jenkinsfile' (#37 ) from master into release All checks were successful SHS Gitea/libs/pipeline/head This commit looks good Details	2020-06-02 15:32:40 +03:00
Ivan Pelipenko	14c8a359bd	Jenkinsfile	2020-06-02 15:31:47 +03:00