diff --git a/proposal/xdocs/build.xml b/proposal/xdocs/build.xml index e101fae65..dfb0a15cc 100644 --- a/proposal/xdocs/build.xml +++ b/proposal/xdocs/build.xml @@ -450,6 +450,8 @@ + +