diff --git a/proposal/xdocs/build.xml b/proposal/xdocs/build.xml index eefbbf944..712a84f3e 100644 --- a/proposal/xdocs/build.xml +++ b/proposal/xdocs/build.xml @@ -185,6 +185,9 @@ + + + @@ -357,6 +360,9 @@ + @@ -428,6 +434,7 @@ +