Fix doxyfile to include JBMC documentation

Also include unit test utilities in the documentation.
NathanJPhillips · May 29, 2018 · 157a12c · 157a12c
1 parent 8befd02
commit 157a12c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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