diff --git a/doc/manifest.xml b/doc/manifest.xml index 914085573..15f76f969 100644 --- a/doc/manifest.xml +++ b/doc/manifest.xml @@ -112,7 +112,7 @@ - +