1 From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
2 Date: Sat, 5 Jun 2021 14:50:26 +0200
3 Subject: [PATCH] Do not require wget and unzip
6 diff --git a/CMakeLists.txt b/CMakeLists.txt
7 index 2261fe7..ce8edad 100644
10 @@ -243,21 +243,6 @@ if(BUILD_DOCUMENTATION)
11 set(DOXYFILE_MAKE make.bat)
14 - if(NOT CHECK_DOCUMENTATION)
15 - find_program(WGET_EXE wget)
17 - message(STATUS "Found WGet: ${WGET_EXE}")
19 - message(FATAL_ERROR "wget is needed to build the documentation. Please install it correctly")
21 - find_program(UNZIP_EXE unzip)
23 - message(STATUS "Found Unzip: ${UNZIP_EXE}")
25 - message(FATAL_ERROR "unzip is needed to build the documentation. Please install it correctly")
29 # Target to create documentation directories
30 add_custom_target(docdirs
31 COMMAND ${CMAKE_COMMAND} -E make_directory ${PROJECT_BINARY_DIR}/doc