diff --git a/proposal/xdocs/build.xml b/proposal/xdocs/build.xml index 8639034b7..170ffd4a9 100644 --- a/proposal/xdocs/build.xml +++ b/proposal/xdocs/build.xml @@ -34,6 +34,7 @@ + @@ -42,9 +43,10 @@ - - + + +