From 5c09e3f6e14f92b3c66b260837bd460973b4cc57 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 22 Apr 2021 10:46:04 -0700
Subject: [PATCH] api docs: Rename doxygen output directory. (#6426)

---
 docs/cpp/CMakeLists.txt | 4 ++--
 1 file 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}
-- 
2.30.2