Jenkinsfile pip doc

Jenkinsfile

@@ -37,5 +37,18 @@ node {
 	    }
 	}
 	sh "docker system prune -f"
+	stage("PIP doc") {
+		agent {
+			label 'master'
+		}
+		checkout scm
+		sh "rm -rf share"
+		sh "rm -v *.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"
+		archiveArtifacts 'pip_doc.zip'
+	}
 	echo "${_msg}"
 }