diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index e1dd5d485..7d140ca6f 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -110,7 +110,7 @@ - +