api docs: Rename doxygen output directory. (#6426)

diff --git a/docs/cpp/CMakeLists.txt b/docs/cpp/CMakeLists.txt
index 3b5da30b6e09148bfddf39e153738172604542b8..de21890dcc45aa72d4f85ec02f3784ec675860ef 100644 (file)
--- 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}