# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1350299490 -7200
# Node ID b15ac5bd19f35a9491094afede3b055aea30c70d
# Parent  0fadb04728ba29ce5240ffc5c6816d52196257ee
message

diff -r 0fadb04728ba -r b15ac5bd19f3 CMakeLists.txt
--- a/CMakeLists.txt	Thu Oct 11 22:02:38 2012 +0200
+++ b/CMakeLists.txt	Mon Oct 15 13:11:30 2012 +0200
@@ -178,4 +178,7 @@
     WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
     COMMENT "Generating API documentation with Doxygen" VERBATIM
     )
+else()
+  message("Doxygen not found. The documentation will not be built.")
 endif()
+