Rename DOCUMENTATION option to WITH_DOCS in CMakeLists.txt

The CMakeLists.txt used DOCUMENTATION as the option name, while the
README and config.mk use WITH_DOCS. This inconsistency made it confusing
for users.

Changes:
- Rename DOCUMENTATION option to WITH_DOCS to match Makefile convention
- Update all references to use WITH_DOCS consistently
- Maintains backward compatibility with other WITH_* options

Fixes #3381
This commit is contained in:
Samaresh Kumar Singh 2025-12-01 21:37:33 -06:00 committed by Roger A. Light
parent 7a6af8e405
commit 0b9ad836e0

View file

@ -121,7 +121,7 @@ option(WITH_CLIENTS "Build clients?" ON)
option(WITH_BROKER "Build broker?" ON)
option(WITH_APPS "Build apps?" ON)
option(WITH_PLUGINS "Build plugins?" ON)
option(DOCUMENTATION "Build documentation?" ON)
option(WITH_DOCS "Build documentation?" ON)
add_library(config-header INTERFACE)
target_sources(config-header INTERFACE config.h)
@ -156,7 +156,7 @@ if(WITH_PLUGINS)
add_subdirectory(plugins)
endif()
if(DOCUMENTATION)
if(WITH_DOCS)
add_subdirectory(man)
endif()