diff -r 1c1e3599d66a -r 8a46c8432c82 doc/manual/en/.cvsignore
--- a/doc/manual/en/.cvsignore	Tue Feb 12 09:13:14 2008 +0100
+++ b/doc/manual/en/.cvsignore	Tue Feb 12 09:38:26 2008 +0100
@@ -3,3 +3,4 @@
 manual.pdf
 manual.toc
 manual.aux
+html