Comment out docs target in cmake

fagan2888 · Aug 10, 2020 · 89d813c · 89d813c
1 parent e727df5
commit 89d813c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/ci/script_cmake.sh b/tools/ci/script_cmake.sh
@@ -25,7 +25,7 @@ cmake --version
 
 cmake -DCMAKE_BUILD_TYPE=${BUILD_TYPE} -DBUILD_DOCUMENTATION=NO ${TRAVIS_BUILD_DIR}
 run_make
-cmake --build . --target docs
+# cmake --build . --target docs
 ctest --output-on-failure .
 
 if [ "${BUILD_TYPE}" = "Coverage" ]; then