diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-22 10:46:04 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-22 11:08:24 -0700 |
| commit | 5c09e3f6e14f92b3c66b260837bd460973b4cc57 (patch) | |
| tree | 1c4ad212a4bfa13af705957acb126f9a0ab7647f /docs | |
| parent | eb557b42a52354c565d924b8a32c199b4df432d2 (diff) | |
api docs: Rename doxygen output directory. (#6426)
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/cpp/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/cpp/CMakeLists.txt b/docs/cpp/CMakeLists.txt index 3b5da30b6..de21890dc 100644 --- a/docs/cpp/CMakeLists.txt +++ b/docs/cpp/CMakeLists.txt @@ -16,7 +16,7 @@ find_package(Doxygen REQUIRED) # basic parameters set(DOXYGEN_INPUT_DIR ${PROJECT_SOURCE_DIR}/src/api/cpp) -set(DOXYGEN_OUTPUT_DIR ${CMAKE_CURRENT_BINARY_DIR}/cpp-doxygen) +set(DOXYGEN_OUTPUT_DIR ${CMAKE_CURRENT_BINARY_DIR}/doxygen) set(DOXYGEN_INPUT "${DOXYGEN_INPUT_DIR}/cvc5.h ${DOXYGEN_INPUT_DIR}/cvc5_kind.h" ) @@ -30,7 +30,7 @@ configure_file(${DOXYFILE_IN} ${DOXYFILE_OUT} @ONLY) # make sure the outpur directory exists file(MAKE_DIRECTORY ${DOXYGEN_OUTPUT_DIR}) -# add the cpp-doxygen target +# add the doxygen target add_custom_command( OUTPUT ${DOXYGEN_INDEX_FILE} COMMAND Doxygen::doxygen ${DOXYFILE_OUT} |