Merge pull request 'master' (#34) from master into release

Jenkinsfile

@@ -39,3 +39,24 @@ node {
 	sh "docker system prune -f"
 	echo "${_msg}"
 }
+pipeline {
+	agent {
+		label 'master'
+	}
+    stages {
+		stage("PIP doc") {
+			steps {
+				checkout scm
+				sh "rm -rf share"
+				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'
+			}
+		}
+	}
+}