changed app.name refs in javadoc target to Mir, because otherwise

javadoc complains that mir.java and Openmir.java don't exist.

diff --git a/build.xml b/build.xml
index b4429b4..9675a7a 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -243,7 +243,7 @@
 
   <target name="javadoc" depends="prepare">
     <javadoc packagenames="mir.*, mircoders.*"
-            sourcefiles="source/${app.name}.java,source/Open${app.name}.java"
+            sourcefiles="source/Mir.java,source/OpenMir.java"
             sourcepath="source"
              destdir="${javadoc.home}">
          <classpath refid="project.class.path"/>