blob: 3b6464703d72d63c98abcc37d376875c18b87b7e [file] [log] [blame]
gwt.team.jgw89075d42006-12-08 20:51:13 +00001<project name="doc" default="all" basedir=".">
gwt.team.scottb6ba31b82006-12-08 23:38:16 +00002 <property name="gwt.root" location=".." />
3 <property name="project.tail" value="doc" />
4 <import file="${gwt.root}/common.ant.xml" />
gwt.team.jgw89075d42006-12-08 20:51:13 +00005
gwt.team.scottb6ba31b82006-12-08 23:38:16 +00006 <property.ensure name="gwt.user.jar" location="${gwt.build.lib}/gwt-user.jar" />
7 <!-- Platform shouldn't matter here, just picking one -->
8 <property.ensure name="gwt.dev.jar" location="${gwt.build.lib}/gwt-dev-linux.jar" />
gwt.team.jgw89075d42006-12-08 20:51:13 +00009
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000010 <property name="USER_PKGS" value="com.google.gwt.core.client;com.google.gwt.core.ext;com.google.gwt.core.ext.typeinfo;com.google.gwt.i18n.client;com.google.gwt.json.client;com.google.gwt.junit.client;com.google.gwt.user.client;com.google.gwt.user.client.rpc;com.google.gwt.user.client.ui;com.google.gwt.user.server.rpc;com.google.gwt.xml.client;com.google.gwt.http.client" />
11 <property name="LANG_PKGS" value="java.lang;java.util" />
12 <property name="DOC_PKGS" value="com.google.gwt.doc" />
gwt.team.jgw89075d42006-12-08 20:51:13 +000013
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000014 <path id="USER_SOURCE_PATH">
15 <pathelement location="${gwt.root}/user/src" />
16 <pathelement location="${gwt.root}/user/javadoc" />
17 <pathelement location="${gwt.root}/user/super" />
18 <pathelement location="${gwt.root}/dev/core/src" />
19 </path>
gwt.team.jgw89075d42006-12-08 20:51:13 +000020
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000021 <path id="USER_CLASS_PATH">
22 <pathelement location="${gwt.user.jar}" />
23 <pathelement location="${gwt.dev.jar}" />
24 <pathelement location="${gwt.tools.lib}/junit/junit-3.8.1.jar" />
25 </path>
gwt.team.jgw89075d42006-12-08 20:51:13 +000026
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000027 <path id="DOC_SOURCE_PATH">
28 <pathelement location="./src" />
29 <path refid="USER_SOURCE_PATH" />
30 </path>
gwt.team.jgw89075d42006-12-08 20:51:13 +000031
gwt.team.scottb66242e92006-12-11 22:25:16 +000032 <property.ensure name="java.tools.path" location="${java.home}/../lib/tools.jar" message="Cannot find ${java.home}/../lib/tools.jar; please use a JDK when building doc rather than a JRE."/>
gwt.team.bruce952c83b2006-12-09 03:20:43 +000033
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000034 <path id="DOC_PATH">
35 <pathelement location="./src" />
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000036 <pathelement location="${gwt.build.lib}/gwt-doctool.jar" />
gwt.team.scottb66242e92006-12-11 22:25:16 +000037 <path path="${java.tools.path}" />
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000038 <path refid="USER_SOURCE_PATH" />
39 </path>
gwt.team.jgw89075d42006-12-08 20:51:13 +000040
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000041 <target name="doc">
42 <java classpathref="DOC_PATH" classname="com.google.doctool.DocTool" fork="yes" failonerror="true">
43 <arg value="doc" />
44 <arg value="gwt-doc" />
45 <arg value="-out" />
46 <arg value="${project.build}" />
47 <arg value="-classpath" />
48 <arg pathref="USER_CLASS_PATH" />
49 <arg value="-sourcepath" />
50 <arg pathref="DOC_SOURCE_PATH" />
51 <arg value="-packages" />
52 <arg value="${DOC_PKGS}" />
53 </java>
54 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +000055
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000056 <target name="user">
57 <move file="${gwt.root}/user/super/com/google/gwt/junit/translatable/com/google/gwt/junit/client/GWTTestCase.java" tofile="${gwt.root}/user/super/com/google/gwt/junit/translatable/com/google/gwt/junit/client/GWTTestCase.java_" failonerror="false" />
58 <java classpathref="DOC_PATH" classname="com.google.doctool.DocTool" fork="yes" failonerror="true">
59 <arg value="java" />
60 <arg value="gwt-user" />
61 <arg value="-out" />
62 <arg value="${project.build}" />
63 <arg value="-overview" />
64 <arg value="./src/gwt-user.html" />
65 <arg value="-classpath" />
66 <arg pathref="USER_CLASS_PATH" />
67 <arg value="-sourcepath" />
68 <arg pathref="USER_SOURCE_PATH" />
69 <arg value="-packages" />
70 <arg value="${USER_PKGS}" />
71 </java>
72 <move file="${gwt.root}/user/super/com/google/gwt/junit/translatable/com/google/gwt/junit/client/GWTTestCase.java_" tofile="${gwt.root}/user/super/com/google/gwt/junit/translatable/com/google/gwt/junit/client/GWTTestCase.java" failonerror="false" />
73 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +000074
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000075 <target name="lang">
76 <java classpathref="DOC_PATH" classname="com.google.doctool.DocTool" fork="yes" failonerror="true">
77 <arg value="java" />
78 <arg value="gwt-lang" />
79 <arg value="-out" />
80 <arg value="${project.build}" />
81 <arg value="-overview" />
82 <arg value="./src/gwt-lang.html" />
83 <arg value="-classpath" />
84 <arg pathref="USER_CLASS_PATH" />
85 <arg value="-sourcepath" />
86 <arg path="${gwt.root}/user/super/com/google/gwt/emul" />
87 <arg value="-packages" />
88 <arg value="${LANG_PKGS}" />
89 </java>
90 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +000091
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000092 <target name="html" depends="doc,user,lang">
93 <java classpathref="DOC_PATH" classname="com.google.doctool.DocTool" fork="yes" failonerror="true">
94 <arg value="-html" />
95 <arg value="Google Web Toolkit (Beta)" />
96 <arg value="gwt-doc" />
97 <arg value="gwt-user" />
98 <arg value="gwt-lang" />
99 <arg value="-out" />
100 <arg value="${project.build}" />
101 <arg value="-imagepath" />
102 <arg path="./src" />
103 </java>
104 <delete file="${project.build}/html/topics.htmls" />
105 <mkdir dir="${project.build}/css" />
106 <copy todir="${project.build}/css">
107 <fileset dir="src" includes="*.css" />
108 </copy>
109 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +0000110
gwt.team.scottb6ba31b82006-12-08 23:38:16 +0000111 <target name="javadoc">
112 <java classpathref="DOC_PATH" classname="com.google.doctool.custom.GWTJavaDoclet" fork="yes" failonerror="true">
113 <arg value="-quiet" />
114 <arg value="-source" />
115 <arg value="1.4" />
116 <arg value="-d" />
117 <arg value="${project.build}/javadoc" />
118 <arg value="-classpath" />
119 <arg pathref="USER_CLASS_PATH" />
120 <arg value="-sourcepath" />
121 <arg pathref="USER_SOURCE_PATH" />
122 <arg value="-examplepackages" />
123 <arg value="com.google.gwt.examples;com.google.gwt.examples.i18n;com.google.gwt.examples.http.client" />
124 <arg value="-packages" />
125 <arg value="${USER_PKGS}" />
126 </java>
127 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +0000128
gwt.team.scottb6ba31b82006-12-08 23:38:16 +0000129 <target name="build" depends="html, javadoc" />
gwt.team.jgw89075d42006-12-08 20:51:13 +0000130</project>
131