Specifies to the doc build that source files are encoded as UTF-8. Matters for I18N javadoc.

Review by: scottb (sort of)

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@761 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/build-tools/doctool/src/com/google/doctool/DocTool.java b/build-tools/doctool/src/com/google/doctool/DocTool.java
index 94bf9bf..b584455 100644
--- a/build-tools/doctool/src/com/google/doctool/DocTool.java
+++ b/build-tools/doctool/src/com/google/doctool/DocTool.java
@@ -611,6 +611,10 @@
     // Source path
     args.add("-sourcepath");
     args.add(flattenPath(sourcePath));
+    
+    // Encoding is always UTF-8
+    args.add("-encoding");
+    args.add("UTF-8");
 
     // Overview file
     if (overviewFile != null) {
diff --git a/doc/build.xml b/doc/build.xml
index c0306e4..d9015ca 100644
--- a/doc/build.xml
+++ b/doc/build.xml
@@ -52,7 +52,7 @@
 		<outofdate>
 			<sourcefiles>
 				<fileset dir="./src">
-					<include name="**/*.java" />
+          <include name="**/*.java" />
 				</fileset>
 				<fileset dir="${gwt.root}/user/src">
 					<include name="**/*.java" />
@@ -236,6 +236,8 @@
 					<arg value="-quiet" />
 					<arg value="-source" />
 					<arg value="1.4" />
+					<arg value="-encoding"/>
+					<arg value="UTF-8"/>
 					<arg value="-d" />
 					<arg value="${project.build}/javadoc" />
 					<arg value="-classpath" />