ab2746a
diff -udHrN -- a/src/java/build.xml b/src/java/build.xml
ab2746a
--- a/src/java/build.xml	2022-07-22 17:49:37.000000000 +0200
ab2746a
+++ b/src/java/build.xml	2022-07-30 16:35:16.626335517 +0200
ab2746a
@@ -111,8 +111,8 @@
1c3666b
       <packageset dir="${src}" defaultexcludes="yes">
1c3666b
         <exclude name="**/test/**" />
1c3666b
       </packageset>
1c3666b
-
1c3666b
+      <footer>"Built from revision ${svn.revision}"</footer>
1c3666b
     </javadoc>
1c3666b
   </target>
1c3666b
-  <target name="all" depends="dist,docs" description="Do everything"/>
1c3666b
+  <target name="all" depends="dist" description="Do everything"/>
1c3666b
 </project>