diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index 815fed9..95d8f9e 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -23,6 +23,7 @@ + @@ -73,6 +74,7 @@ +