diff options
Diffstat (limited to 'docs/api/cpp/CMakeLists.txt')
-rw-r--r-- | docs/api/cpp/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/api/cpp/CMakeLists.txt b/docs/api/cpp/CMakeLists.txt index f0b153b57..511dd6e9c 100644 --- a/docs/api/cpp/CMakeLists.txt +++ b/docs/api/cpp/CMakeLists.txt @@ -39,7 +39,7 @@ add_custom_command( ${PROJECT_SOURCE_DIR}/src/api/cpp/cvc5_kind.h COMMENT "Generating doxygen API docs" ) -add_custom_target(docs-cpp ALL DEPENDS ${DOXYGEN_INDEX_FILE}) +add_custom_target(docs-cpp DEPENDS ${DOXYGEN_INDEX_FILE}) # tell parent scope where to find the output xml set(CPP_DOXYGEN_XML_DIR |