Don't ignore the html/ directory.

diff --git a/Doc/.cvsignore b/Doc/.cvsignore
index bc8b78b8c04aac60d474daffa706aaf60c9b5e85..529febf3cdc752456460077cc8e5e748243cc82f 100755 (executable)
--- a/Doc/.cvsignore
+++ b/Doc/.cvsignore
@@ -12,4 +12,3 @@ python-???.*
 *.out
 *.bkm
 *.tar.gz
-html