diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index 09faa81..03d1466 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -30,6 +30,7 @@ + @@ -80,6 +81,7 @@ +