diff --git a/doc/manual/.cvsignore b/doc/manual/.cvsignore index ab13756..226fa1c 100644 --- a/doc/manual/.cvsignore +++ b/doc/manual/.cvsignore @@ -14,3 +14,5 @@ re09.html re10.html re11.html re12.html +re13.html +re14.html diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index df19d2c..0c4e69d 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -10,6 +10,8 @@ + + @@ -27,6 +29,8 @@ + +