diff --git a/doc/manual/.cvsignore b/doc/manual/.cvsignore
index 86517bf..ed1aebd 100644
--- a/doc/manual/.cvsignore
+++ b/doc/manual/.cvsignore
@@ -27,3 +27,4 @@ re21.html
re22.html
re23.html
re24.html
+re25.html
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index 854fc4b..180633f 100644
--- a/doc/manual/manual.xml
+++ b/doc/manual/manual.xml
@@ -21,6 +21,7 @@
+
@@ -48,6 +49,7 @@
+