mirror of
https://github.com/minetest/minetest.git
synced 2024-11-23 08:03:45 +01:00
Set EXAMPLE_CONF_DIR to DOCDIR if DOCDIR gets customized
Before, customisation of DOCDIR did not lead to changes of the EXAMPLE_CONF_DIR default value. This was inconsistent with expected behaviour if you didn't know of the existence of the EXAMPLE_CONF_DIR variable. The confusion is very strong, as (for not in place builds) both DOCDIR and EXAMPLE_CONF_DIR share the same default value, it is unexpected that setting CUSTOM_DOCDIR changes the location of all documentation files but one. The best meaning of EXAMPLE_CONF_DIR is to further allow customization of the mt.conf.example storage place, but otherwise keep defaulting to whatever DOCDIR is set to, at least for not in place builds. This patch implements that behaviour. Fixes #3863.
This commit is contained in:
parent
095f623fa7
commit
3132bcb373
@ -113,6 +113,9 @@ endif()
|
|||||||
set(CUSTOM_DOCDIR "" CACHE STRING "Directory to install documentation into")
|
set(CUSTOM_DOCDIR "" CACHE STRING "Directory to install documentation into")
|
||||||
if(NOT CUSTOM_DOCDIR STREQUAL "")
|
if(NOT CUSTOM_DOCDIR STREQUAL "")
|
||||||
set(DOCDIR "${CUSTOM_DOCDIR}")
|
set(DOCDIR "${CUSTOM_DOCDIR}")
|
||||||
|
if(NOT RUN_IN_PLACE)
|
||||||
|
set(EXAMPLE_CONF_DIR ${DOCDIR})
|
||||||
|
endif()
|
||||||
message(STATUS "Using DOCDIR=${DOCDIR}")
|
message(STATUS "Using DOCDIR=${DOCDIR}")
|
||||||
endif()
|
endif()
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user