mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-12-19 08:29:37 +00:00
e19a2a10acAdding USE=doc which is now in separate git repo: https://github.com/mydumper/mydumper_docs Signed-off-by: Tomáš Mózes <hydrapolic@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/39578 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
20 lines
603 B
Diff
20 lines
603 B
Diff
diff --git a/CMakeLists.txt b/CMakeLists.txt
|
|
index 8f1c9ad..a62195b 100644
|
|
--- a/CMakeLists.txt
|
|
+++ b/CMakeLists.txt
|
|
@@ -24,11 +24,11 @@ if (NOT MYSQL_FOUND)
|
|
MESSAGE(FATAL_ERROR "Could not find MySQL or MariaDB client libraries")
|
|
endif ()
|
|
|
|
-#option(BUILD_DOCS "Build the documentation" ON)
|
|
+option(BUILD_DOCS "Build the documentation" ON)
|
|
|
|
-#if (BUILD_DOCS)
|
|
-# add_subdirectory(docs)
|
|
-#endif (BUILD_DOCS)
|
|
+if (BUILD_DOCS)
|
|
+ add_subdirectory(docs)
|
|
+endif (BUILD_DOCS)
|
|
|
|
if (PC_GLIB2_VERSION VERSION_GREATER "2.51")
|
|
option(WITH_GLIB_uuid_string_random "uuid_string_random not available" ON)
|