diff --git a/proposal/xdocs/build.xml b/proposal/xdocs/build.xml
index dfb0a15cc..f380acd6a 100644
--- a/proposal/xdocs/build.xml
+++ b/proposal/xdocs/build.xml
@@ -370,6 +370,7 @@
   <target name="init">
     <mkdir dir="${build.dir}" />
     <mkdir dir="${gen.dir}" />
+    <echoproperties/>
   </target>
 
   <target name="clean">