mirror of
https://github.com/geode-sdk/geode.git
synced 2025-03-22 02:45:49 -04:00
maybe fix docs build
This commit is contained in:
parent
cee8c74c72
commit
d70069453f
1 changed files with 1 additions and 1 deletions
|
@ -366,7 +366,7 @@ endif()
|
|||
add_subdirectory(test)
|
||||
|
||||
# Add install target on CLI >= 2.10.0 (which adds `geode profile path`)
|
||||
if (${GEODE_CLI_VERSION} VERSION_GREATER_EQUAL "2.10.0")
|
||||
if (NOT DEFINED GEODE_BUILDING_DOCS AND ${GEODE_CLI_VERSION} VERSION_GREATER_EQUAL "2.10.0")
|
||||
execute_process(
|
||||
COMMAND ${GEODE_CLI} profile path -d
|
||||
OUTPUT_VARIABLE GEODE_PROFILE_GD_PATH
|
||||
|
|
Loading…
Reference in a new issue