diff --git a/src/.cvsignore b/src/.cvsignore
index 4b1885b4c499414ebe94d3b0e5636d5cc93c3dee..cb6d6c46816533af20eff3e1d6e37b8c72e48af5 100644
--- a/src/.cvsignore
+++ b/src/.cvsignore
@@ -1,4 +1,5 @@
 Makefile
+case_info.h
 config.cache
 config.h.in
 config.log
diff --git a/src/.gitignore b/src/.gitignore
index 8e17ccfb591e86c9f78c42e5e281ab2901d5bf07..69de5267c42ac831d582b0dd0177064b39435744 100644
--- a/src/.gitignore
+++ b/src/.gitignore
@@ -1,4 +1,5 @@
 /Makefile
+/case_info.h
 /config.cache
 /config.h.in
 /config.log