build: GENERATE_DOCS renamed to BUILD_DOCS

2020-11-05 16:51:42 +01:00
parent 85d174ccbe
commit c8f67ab5bf
5 changed files with 12 additions and 12 deletions
@@ -22,8 +22,8 @@

 cmake_minimum_required(VERSION 3.12)

-option(GENERATE_DOCS "Generate project documenation" ON)
-if(NOT GENERATE_DOCS)
+option(BUILD_DOCS "Generate project documenation" ON)
+if(NOT BUILD_DOCS)
    return()
 endif()

@@ -144,8 +144,8 @@ UNITS_DOWNCAST_MODE
 Equivalent to `downcast_mode`_.


-GENERATE_DOCS
-+++++++++++++
+BUILD_DOCS
++++++++++

 **Values**: ``ON``/``OFF``