1 files changed, 4 insertions, 0 deletions
diff --git a/bin/.cvsignore b/bin/.cvsignore
index 6d8d60b021..4ec23cbfe2 100644
--- a/bin/.cvsignore
+++ b/bin/.cvsignore
@@ -3,3 +3,7 @@ coqmktop
 coqtop.byte
 coqtop.opt
 minicoq
+coqdep
+coq_makefile
+gallina
+coq-tex