gwt.team.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 1 | <project name="doc" default="all" basedir="."> |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 2 | <property name="gwt.root" location=".." /> |
| 3 | <property name="project.tail" value="doc" /> |
| 4 | <import file="${gwt.root}/common.ant.xml" /> |
gwt.team.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 5 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 6 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 9 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 10 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 13 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 14 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 20 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 21 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 26 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 27 | <path id="DOC_SOURCE_PATH"> |
| 28 | <pathelement location="./src" /> |
| 29 | <path refid="USER_SOURCE_PATH" /> |
| 30 | </path> |
gwt.team.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 31 | |
gwt.team.scottb | 66242e9 | 2006-12-11 22:25:16 +0000 | [diff] [blame^] | 32 | <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.bruce | 952c83b | 2006-12-09 03:20:43 +0000 | [diff] [blame] | 33 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 34 | <path id="DOC_PATH"> |
| 35 | <pathelement location="./src" /> |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 36 | <pathelement location="${gwt.build.lib}/gwt-doctool.jar" /> |
gwt.team.scottb | 66242e9 | 2006-12-11 22:25:16 +0000 | [diff] [blame^] | 37 | <path path="${java.tools.path}" /> |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 38 | <path refid="USER_SOURCE_PATH" /> |
| 39 | </path> |
gwt.team.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 40 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 41 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 55 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 56 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 74 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 75 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 91 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 92 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 110 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 111 | <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.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 128 | |
gwt.team.scottb | 6ba31b8 | 2006-12-08 23:38:16 +0000 | [diff] [blame] | 129 | <target name="build" depends="html, javadoc" /> |
gwt.team.jgw | 89075d4 | 2006-12-08 20:51:13 +0000 | [diff] [blame] | 130 | </project> |
| 131 | |