From e5dd63aadb6323e8eb8cea7bcdc6e08d6f2ec1de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dani=C3=ABl=20van=20Eeden?= <git@myname.nl>
Date: Wed, 2 Jan 2019 16:55:57 +0100
Subject: [PATCH] Build docs as port of the "all" target if -DWITH_DOC=ON

---
 doc/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 6e34652c8..7f119ed15 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -90,7 +90,7 @@ FILE(GLOB sources *.txt)
 LIST(APPEND sources doxygen.cfg.in)
 
 
-ADD_CUSTOM_TARGET(build_docs
+ADD_CUSTOM_TARGET(build_docs ALL
   COMMAND ${DOXYGEN_EXECUTABLE} ${CMAKE_CURRENT_BINARY_DIR}/doxygen.cfg
   WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}
   COMMENT "Building project documentation"