diff --git a/docs/index/.cvsignore b/docs/index/.cvsignore
index 90ea13968..3f86c82e0 100644
--- a/docs/index/.cvsignore
+++ b/docs/index/.cvsignore
@@ -1,2 +1,2 @@
 *.pdf *.ps *.gz *.dvi *.aux *.log *.bbl *.blg *.reviews
-ICLP06 PLDI07 Benchmarks
+ICLP06 PLDI07