# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1456230376 -3600
# Node ID c619a29327303d1510a1894444faba6bb2557ad7
# Parent  ed35b9ac33bf6eccfcf8ef67858fccf7537c47da
Misc: disable doxygen by default

diff -r ed35b9ac33bf -r c619a2932730 cmake/IrccdOptions.cmake
--- a/cmake/IrccdOptions.cmake	Tue Feb 23 13:25:00 2016 +0100
+++ b/cmake/IrccdOptions.cmake	Tue Feb 23 13:26:16 2016 +0100
@@ -80,7 +80,7 @@
 option(WITH_SYSTEMD "Install systemd service" ${DEFAULT_SYSTEMD})
 option(WITH_DOCS "Enable building of all documentation" On)
 option(WITH_HTML "Enable building of HTML documentation" On)
-option(WITH_DOXYGEN "Enable doxygen" On)
+option(WITH_DOXYGEN "Enable doxygen" Off)
 option(WITH_MAN "Install man pages" ${DEFAULT_MAN})
 
 # Build options for all plugins.