1 files changed, 3 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index a31ac159..60f71858 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,9 @@ cscope.*
 *.out
 *.status
 
+# In source build files
+docs/doxygen.cfg
+include/klee/Config/CompileTimeInfo.h
 *.config
 
 config.h