From 157a12c83fb16139f67eb4e5de5d375f2df9d723 Mon Sep 17 00:00:00 2001 From: thk123 Date: Tue, 29 May 2018 14:19:48 +0100 Subject: [PATCH] Fix doxyfile to include JBMC documentation Also include unit test utilities in the documentation. --- src/doxyfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doxyfile b/src/doxyfile index 409422346ce..13deebd5e46 100644 --- a/src/doxyfile +++ b/src/doxyfile @@ -771,7 +771,7 @@ WARN_LOGFILE = # spaces. See also FILE_PATTERNS and EXTENSION_MAPPING # Note: If this tag is empty the current directory is searched. -INPUT = . ../doc +INPUT = . ../doc ../jbmc/src ../unit/testing-utils ../jbmc/unit/java-testing-utils # This tag can be used to specify the character encoding of the source files # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses