diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-09-17 09:56:45 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2022-09-17 09:56:45 +0200 |
| commit | 09334c51c753254001c335e258f42774022dd639 (patch) | |
| tree | 94da5e3c6f27fe689d9f3ef851cd97f8ee356737 | |
| parent | eb314f565340ff69922710d281d02b709ca77548 (diff) | |
Improve use of CMake's OPTION_BUILD_HTML_DOCUMENTATION
| -rw-r--r-- | documentation/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/documentation/CMakeLists.txt b/documentation/CMakeLists.txt index 1fe6d615e..df236683e 100644 --- a/documentation/CMakeLists.txt +++ b/documentation/CMakeLists.txt @@ -44,7 +44,8 @@ if (GENERATE_DOCS) OUTPUT_VARIABLE CURRENT_DATE ) - execute_process (COMMAND git rev-parse --short=10 HEAD + execute_process (COMMAND + git --git-dir=${CMAKE_SOURCE_DIR}/.git rev-parse --short=10 HEAD OUTPUT_VARIABLE GIT_REVISION ) |