diff --git a/doc/manual/.cvsignore b/doc/manual/.cvsignore
index 3301d93..d475693 100644
--- a/doc/manual/.cvsignore
+++ b/doc/manual/.cvsignore
@@ -22,3 +22,4 @@ re16.html
re17.html
re18.html
re19.html
+re20.html
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index 343e7bf..6e0c09d 100644
--- a/doc/manual/manual.xml
+++ b/doc/manual/manual.xml
@@ -13,6 +13,7 @@
+
@@ -35,6 +36,7 @@
+