diff --git a/build.xml b/build.xml
index a534801e5..2f5134c82 100644
--- a/build.xml
+++ b/build.xml
@@ -211,7 +211,8 @@
      <copy todir="${ant.dist.dir}/bin">
        <fileset dir="src/bin"/>
      </copy>
-     <copy todir="${ant.dist.dir}/docs">
+     <filter token="VERSION" value="${version}"/>
+     <copy todir="${ant.dist.dir}/docs" filtering="on">
        <fileset dir="${docs.dir}"/>
      </copy>
      <copy todir="${ant.dist.dir}/docs/api">