From: Brian Norris <banorris@uci.edu>
Date: Fri, 15 Jun 2012 06:55:25 +0000 (-0700)
Subject: Doxyfile: exclude malloc.c
X-Git-Tag: pldi2013~391^2~15^2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bac91bab68e2a50aa5ceee4057624a56eaf6c9bf;p=model-checker.git

Doxyfile: exclude malloc.c

I don't think we really want documentation for the dlmalloc code. It provides
several Doxygen warnings/complaints, and it muddies up some of the output HTML.
Maybe we can fix this up somehow later, but it's not really worth doing right
now.
---

diff --git a/Doxyfile b/Doxyfile
index 24cd0f9..a6001c3 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -693,7 +693,7 @@ RECURSIVE              = NO
 # Note that relative paths are relative to the directory from which doxygen is
 # run.
 
-EXCLUDE                =
+EXCLUDE                = malloc.c
 
 # 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