diff -r 8a46c8432c82 -r 31dc4ec8710c doc/doxygen/.cvsignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/doxygen/.cvsignore	Tue Feb 12 09:42:56 2008 +0100
@@ -0,0 +1,2 @@
+html
+