1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 75324995..031b06b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -73,6 +73,8 @@ toplevel/mltop.byteml
 coqdoc.sty
 ide/index_urls.txt
 doc/faq/html/
+doc/refman/csdp.cache
+doc/refman/trace
 doc/refman/Reference-Manual.pdf
 doc/refman/Reference-Manual.ps
 doc/refman/cover.html