1 2 3 4 5 6 7 8 9 10
--- build/dist.xml 2006-10-19 18:07:20.000000000 +0200 +++ build/dist.xml 2006-10-19 18:10:11.000000000 +0200 @@ -5,6 +5,7 @@ <mkdir dir="${build.docs}"/> <javadoc packagenames="${packages}" sourcepath="${source.java};${source.pool}" + source="1.4" destdir="${build.docs}" author="true" version="true"