diff -r 7802a7d5584f -r 3788feef57e0 doc/manual/en/.cvsignore --- a/doc/manual/en/.cvsignore Tue Feb 12 09:44:55 2008 +0100 +++ b/doc/manual/en/.cvsignore Tue Feb 12 11:52:45 2008 +0100 @@ -3,4 +3,5 @@ manual.pdf manual.toc manual.aux +manual.log html