diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index b7852e9f1b1..b7e4c6315f9 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -50,7 +50,7 @@ - +