Merge "Modify logs publisher"

[ci-management.git] / jjb / cicn / include-raw-cicn-libparc-docs.sh

diff --git a/jjb/cicn/include-raw-cicn-libparc-docs.sh b/jjb/cicn/include-raw-cicn-libparc-docs.sh
index 50f0ee5..cb4d698 100644 (file)
--- a/jjb/cicn/include-raw-cicn-libparc-docs.sh
+++ b/jjb/cicn/include-raw-cicn-libparc-docs.sh
@@ -31,7 +31,7 @@ echo "Current directory: $(pwd)"
 update_cmake_repo
 mkdir -p build
 pushd build
-cmake ..
+cmake -DDOC_ONLY=ON ..
 make documentation
 popd
 
@@ -57,7 +57,7 @@ if [[ ${JOB_NAME} == *merge* ]]; then
         <extension>
           <groupId>org.apache.maven.wagon</groupId>
            <artifactId>wagon-webdav-jackrabbit</artifactId>
-           <version>2.9</version>
+           <version>3.3.3</version>
         </extension>
       </extensions>
     </build>