Merge branch 'master' of https://git.shs.tools/SHS/libs

Jenkinsfile

@@ -37,18 +37,26 @@ node {
 	    }
 	}
 	sh "docker system prune -f"
-	stage("PIP doc") {
+	echo "${_msg}"
+}
+pipeline {
 	agent {
 		label 'master'
 	}
+    stages {
+		stage("PIP doc") {
+			steps {
 				checkout scm
 				sh "rm -rf share"
-		sh "rm -v *.zip"
+				sh "rm -vf *.zip"
 				sh "mkdir -p build"
 				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'
+			}
+		}
 	}
-	echo "${_msg}"
 }