Ignore the html-*.tar file that can now be generated as an intermediate.

diff --git a/Doc/.cvsignore b/Doc/.cvsignore
index 246db710b66bec9b028cff7b25aecd37b28b5cb0..2c64148dd8736f86d1a2c6b934fe0ef056ca8ba2 100755 (executable)
--- a/Doc/.cvsignore
+++ b/Doc/.cvsignore
@@ -1,3 +1,4 @@
 *.tgz
 *.tar.bz2
 *.zip
+html-*.tar