# HG changeset patch
# User etisserant
# Date 1202805506 -3600
# Node ID 8a46c8432c82ca504cf7955e804a89b345d930d7
# Parent  1c1e3599d66a9e81eb0e7c3a5a9d8b62d051316e
exlude generated html manual from CVS

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