From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 3 Sep 2011 18:31:24 +0000 (+0000)
Subject: this should fix the build; doxygen documentation now gets built in srcdir/doc/doxygen
X-Git-Tag: cvc5-1.0.0~8481
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9d9731007a17375aa242f15faace8c451cf3c258;p=cvc5.git

this should fix the build; doxygen documentation now gets built in srcdir/doc/doxygen
---

diff --git a/configure.ac b/configure.ac
index 1b23bf1f0..fdacfeb7f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -655,7 +655,7 @@ DX_MAN_FEATURE(OFF)
 DX_PDF_FEATURE(OFF)
 DX_PS_FEATURE(OFF)
 DX_DOT_FEATURE(OFF)
-DX_INIT_DOXYGEN($PACKAGE_NAME, config/doxygen.cfg, $srcdir/doc)
+DX_INIT_DOXYGEN($PACKAGE_NAME, config/doxygen.cfg, $srcdir/doc/doxygen)
 
 AC_ARG_ENABLE([unit-testing], AS_HELP_STRING([--disable-unit-testing], [don't build support for unit testing, even if available]), , [enable_unit_testing=check])
 AC_ARG_VAR(CXXTEST, [path to CxxTest installation])