From: Brian Norris <banorris@uci.edu>
Date: Fri, 12 Oct 2012 18:05:26 +0000 (-0700)
Subject: Doxygen: document subdirectories
X-Git-Tag: pldi2013~44
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=a69e8aff5040edf3c2448d401b69e2411723c557

Doxygen: document subdirectories

Document include/, but ignore doc/, benchmarks/, and test/.
---

diff --git a/Doxyfile b/Doxyfile
index bb09915..bed3686 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -685,7 +685,7 @@ FILE_PATTERNS          =
 # should be searched for input files as well. Possible values are YES and NO.
 # If left blank NO is used.
 
-RECURSIVE              = NO
+RECURSIVE              = YES
 
 # The EXCLUDE tag can be used to specify files and/or directories that should be
 # excluded from the INPUT source files. This way you can easily exclude a
@@ -693,7 +693,7 @@ RECURSIVE              = NO
 # Note that relative paths are relative to the directory from which doxygen is
 # run.
 
-EXCLUDE                = malloc.c
+EXCLUDE                = malloc.c doc/ benchmarks/ test/
 
 # The EXCLUDE_SYMLINKS tag can be used to select whether or not files or
 # directories that are symbolic links (a Unix file system feature) are excluded