diff options
Diffstat (limited to 'make/build.xml')
-rwxr-xr-x | make/build.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/make/build.xml b/make/build.xml index 6c4ec96..3a5ce73 100755 --- a/make/build.xml +++ b/make/build.xml @@ -269,7 +269,7 @@ - Compile the original and generated source. --> <target name="java.compile" depends="java.generate"> - <javac destdir="${classes}" classpath="${gluegen-rt.jar}" source="1.4" debug="true" debuglevel="source,lines" includeantruntime="false"> + <javac destdir="${classes}" classpath="${gluegen-rt.jar}" source="1.5" debug="true" debuglevel="source,lines" includeantruntime="false"> <src path="${src.java}" /> <src path="${src.generated.java}" /> </javac> @@ -420,8 +420,8 @@ </target> <target name="javadoc.init" depends="init"> - <property name="javadoc.link" value="http://java.sun.com/j2se/1.4.2/docs/api/" /> - <!--property name="javadoc.link" value="http://download.oracle.com/javase/1.4.2/docs/api/"/--> + <!-- property name="javadoc.link" value="http://java.sun.com/j2se/1.4.2/docs/api/" /--> + <property name="javadoc.link" value="http://download.oracle.com/javase/1.5.0/docs/api/" /> <!-- Link offline with relative URLs does not work. Link online with relative URLs works, @@ -471,7 +471,7 @@ <javadoc packagenames="${javadoc.packagenames}" sourcepath="${src.java};${src.generated.java}" destdir="${javadoc.joal.public.path}" windowtitle="JOAL API" - source="1.4"> + source="1.5"> <classpath refid="joal_all.classpath"/> <link offline="true" href="${javadoc.link}" packagelistLoc="${gluegen.root}/make/142-packages" /> <link offline="false" href="${gluegen.link}" /> @@ -483,7 +483,7 @@ <javadoc packagenames="${javadoc.dev.packagenames},${javadoc.dev.packagenames.platform}" sourcepath="${src.java};${src.generated.java}" destdir="${javadoc.joal.dev.path}" windowtitle="JOAL API" - source="1.4"> + source="1.5"> <classpath refid="joal_all.classpath"/> <link offline="true" href="${javadoc.link}" packagelistLoc="${gluegen.root}/make/142-packages" /> <link offline="false" href="${gluegen.link}" /> |