From 14c8a359bdd6aec5513bb312f6457127a84618fa Mon Sep 17 00:00:00 2001
From: Ivan Pelipenko <peri4ko@yandex.ru>
Date: Tue, 2 Jun 2020 15:31:47 +0300
Subject: [PATCH] Jenkinsfile

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 69f224c..aa1dfb8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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'
 			}
 		}
 	}