From 3e6b09eb8dedd599f9cb332954a98e55bd6cb17c Mon Sep 17 00:00:00 2001
From: Michele Caini <michele.caini@gmail.com>
Date: Thu, 5 Dec 2019 14:12:37 +0100
Subject: [PATCH] build system: fixed cmake option to generate documentation

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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 7bb5829b..0885cc41 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -61,7 +61,7 @@ include(FindThreads)
 # Referenced directories and targets
 #
 
-option(BUILD_DOC "Build documentation" ON)
+option(BUILD_DOCS "Build documentation" ON)
 
 if(BUILD_DOCS)
     find_package(Doxygen 1.8)