diff --git a/doc/manual/.cvsignore b/doc/manual/.cvsignore
index 39433e2..ab13756 100644
--- a/doc/manual/.cvsignore
+++ b/doc/manual/.cvsignore
@@ -13,3 +13,4 @@ re08.html
re09.html
re10.html
re11.html
+re12.html
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index 3ee7b13..df19d2c 100644
--- a/doc/manual/manual.xml
+++ b/doc/manual/manual.xml
@@ -9,6 +9,7 @@
+
@@ -25,6 +26,7 @@
+