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