diff --git a/doc/manual.xml b/doc/manual.xml index 801d8eeed62..1f1f50f75fb 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -11,7 +11,6 @@ - @@ -19,6 +18,7 @@ +