Ignore the html-*.tar file that can now be generated as an intermediate.
diff --git a/Doc/.cvsignore b/Doc/.cvsignore
index 246db71..2c64148 100755
--- a/Doc/.cvsignore
+++ b/Doc/.cvsignore
@@ -1,3 +1,4 @@
 *.tgz
 *.tar.bz2
 *.zip
+html-*.tar