Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker

diff --git a/Doxyfile b/Doxyfile
index 24cd0f9686ead482ca9e2cc361adb1b94c0dcacd..a6001c39d78c83ce618aaa55c4d936e55c1a23e6 100644 (file)
--- 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