From 3640203dd880bd90735acf16fac2c94454569fa0 Mon Sep 17 00:00:00 2001
From: Ivan Pelipenko <peri4ko@yandex.ru>
Date: Mon, 7 Sep 2020 15:12:41 +0300
Subject: [PATCH] jenkins pip doc

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 759eff1..de62052 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -50,7 +50,7 @@ pipeline {
 				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 && cmake -DLOCAL=1 -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/pip.qch ./"