diff -r 7fedc55c14d5 -r d328d0d9b88e doc/manual/en/html/.cvsignore
--- a/doc/manual/en/html/.cvsignore	Thu Aug 02 14:20:52 2007 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-*.pl
-WARNINGS