--- 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