From 4878943ffc0dd4572de224fdce5dc5ec8ab206d9 Mon Sep 17 00:00:00 2001
From: Robert K <robertk@posteo.org>
Date: Wed, 1 Jul 2015 11:38:05 +0200
Subject: [PATCH] [Cmake][bugfix] Allow to disable latex. Default behavior is
 the same as before.

---
 cmake/modules/DuneDoc.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cmake/modules/DuneDoc.cmake b/cmake/modules/DuneDoc.cmake
index 200f8f812..479441739 100644
--- a/cmake/modules/DuneDoc.cmake
+++ b/cmake/modules/DuneDoc.cmake
@@ -21,7 +21,7 @@ FIND_PACKAGE(LATEX)
 FIND_PROGRAM(IMAGEMAGICK_CONVERT convert
   DOC "The convert program that comes with ImageMagick (available at http://www.imagemagick.org)."
   )
-set(LATEX_USABLE "ON")
+option(LATEX_USABLE "ON")
 
 if(NOT LATEX_COMPILER)
   message(WARNING " Need latex to create documentation!")
-- 
GitLab