From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 22 Apr 2021 17:46:04 +0000 (-0700)
Subject: api docs: Rename doxygen output directory. (#6426)
X-Git-Tag: cvc5-1.0.0~1855
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5c09e3f6e14f92b3c66b260837bd460973b4cc57;p=cvc5.git

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

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}