diff --git a/Doc/html/.cvsignore b/Doc/html/.cvsignore
index 0d3f217f923..a67ec7affcf 100644
--- a/Doc/html/.cvsignore
+++ b/Doc/html/.cvsignore
@@ -4,3 +4,4 @@ icons
 lib
 ref
 tut
+@webchecker.pickle