diff --git a/doc/build.xml b/doc/build.xml index 1e7c058cbe0..55330198e55 100644 --- a/doc/build.xml +++ b/doc/build.xml @@ -22,9 +22,11 @@ - - - + + + + +