From 7dce462b56f1e77e3cc2b68cb72c27a549c53f91 Mon Sep 17 00:00:00 2001 From: Sven Gothel Date: Tue, 9 Nov 2010 11:47:58 +0100 Subject: JavaDoc: Use GlueGen offline link, javadoc_public -> javadoc --- make/build.xml | 27 ++++++++++++++++----------- 1 file changed, 16 insertions(+), 11 deletions(-) (limited to 'make/build.xml') diff --git a/make/build.xml b/make/build.xml index fc2961cb0..54ac04432 100644 --- a/make/build.xml +++ b/make/build.xml @@ -5,7 +5,8 @@ - + + @@ -165,16 +166,17 @@ destdir="${javadoc}" windowtitle="${javadoc.windowtitle}" overview="${javadoc.overview}" source="1.4" - maxmemory="512m" + maxmemory="1024m" bottom="${javadoc.bottom}" > - + + - + includes="javadoc/**" /> @@ -185,10 +187,11 @@ destdir="${javadoc.spec}" windowtitle="${javadoc.spec.windowtitle}" overview="${javadoc.overview}" source="1.4" - maxmemory="512m" + maxmemory="1024m" bottom="${javadoc.bottom}" > - + + @@ -206,10 +209,11 @@ destdir="${javadoc.dev}" windowtitle="${javadoc.windowtitle}" overview="${javadoc.overview}" source="1.4" - maxmemory="512m" + maxmemory="1024m" bottom="${javadoc.bottom}" > - + + @@ -226,10 +230,11 @@ destdir="${javadoc.nw.spec}" windowtitle="${javadoc.nw.spec.windowtitle}" overview="${javadoc.nw.overview}" source="1.4" - maxmemory="512m" + maxmemory="1024m" bottom="${javadoc.bottom}" > - + + -- cgit v1.2.3