From 276d478a3a28daf1734853542b75d1692649e2a3 Mon Sep 17 00:00:00 2001
From: tastytea
Date: Fri, 3 Jan 2020 13:29:18 +0100
Subject: Remove option WITH_DOC.

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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ae44169..00d8a1b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -19,7 +19,6 @@ list(APPEND CMAKE_MODULE_PATH "${PROJECT_SOURCE_DIR}/cmake")
 
 # Project build options.
 option(WITH_TESTS "Compile tests." NO)
-# option(WITH_DOC "Generate HTML documentation." YES)
 option(WITH_EXAMPLES "Compile examples." NO)
 # option(WITH_DEB "Prepare for the building of .deb packages." NO)
 # option(WITH_RPM "Prepare for the building of .rpm packages." NO)
-- 
cgit v1.2.3-54-g00ecf