X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Doxyfile;h=a6001c39d78c83ce618aaa55c4d936e55c1a23e6;hb=84e24d516d4e9dbd30f1fff7e9a185d1540d20eb;hp=24cd0f9686ead482ca9e2cc361adb1b94c0dcacd;hpb=06c0e4f929e94ae837186b50d7d75138bf2d0fd2;p=model-checker.git

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