--- hsqldb/build/build.xml	2004-06-19 15:30:02.000000000 +0200
+++ build.xml	2004-09-12 11:31:26.735113552 +0200
@@ -537,18 +537,11 @@
                           '/>
         </jar>
     </target>
-
+    
     <target name="javadoc" depends="-preparedoc"
             description="Create javadoc for the distribution package">
       <javadoc
-		   sourcefiles="${src}/org/hsqldb/jdbcDriver.java,
-                        ${src}/org/hsqldb/Trigger.java,
-		   				${src}/org/hsqldb/Server.java,
-		   				${src}/org/hsqldb/WebServer.java,
-		   				${src}/org/hsqldb/jdbc/*.java,
-		   				${src}/org/hsqldb/sample/TriggerSample.java,
-		   				${src}/org/hsqldb/util/SqlTool.java"
-           destdir="${basedir}/doc/src"
+	   destdir="${basedir}/doc/src"
            classpath="${basedir}/lib/servlet.jar;${basedir}/lib/junit.jar"
            author="true"
            version="false"
@@ -558,7 +551,14 @@
            windowtitle="HSQLDB 1.7.2 API"
            doctitle="HSQLDB 1.7.2"
            bottom="&lt;i&gt;Copyright &#169; 2001 - 2004 HSQL Development Group. All Rights Reserved.&lt;/i&gt;">
-
+	<fileset dir="${src}" 
+		includes="org/hsqldb/jdbcDriver.java,
+	                  org/hsqldb/Trigger.java,
+			  org/hsqldb/Server.java,
+			  org/hsqldb/WebServer.java,
+			  org/hsqldb/jdbc/*.java,
+			  org/hsqldb/sample/TriggerSample.java
+			  org/hsqldb/util/SqlTool.java" />
      </javadoc>
    </target>