Merge "Modify logs publisher"

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

diff --git a/jjb/hicn/include-raw-hicn-docs.sh b/jjb/hicn/include-raw-hicn-docs.sh
index e012017..6aa95f2 100644 (file)
--- a/jjb/hicn/include-raw-hicn-docs.sh
+++ b/jjb/hicn/include-raw-hicn-docs.sh
@@ -29,7 +29,7 @@ echo "Current directory: $(pwd)"
 update_cmake_repo
 mkdir -p build
 pushd build
-cmake -DBUILD_HICNPLUGIN=OFF -DBUILD_HICNLIGHT=OFF -DBUILD_LIBTRANSPORT=OFF -DBUILD_UTILS=OFF ..
+cmake -DBUILD_HICNPLUGIN=OFF -DBUILD_HICNLIGHT=OFF -DBUILD_LIBTRANSPORT=OFF -DBUILD_UTILS=OFF -DBUILD_APPS=OFF -DBUILD_CTRL=OFF ..
 make doc
 popd
 
@@ -55,7 +55,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>