diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index d6dd437edd..c5a52a9a48 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -80,4 +80,9 @@ + + + +